This is the HotCRP development and configuration manual. Its intended audience is people who are developing HotCRP extensions, working with its code, or configuring features inaccessible through the public settings UI.
- Components: How HotCRP configuration JSON files work
- Message formatting and translation
- Page configuration