A Nix-based framework for competitive programming problem authoring, analysis, and packaging.
Visit the documentation home page to learn more.
- Declarative problem and contest configuration in Nix.
- Reproducible compilation and runtime analysis.
- Built-in support for validators, checkers, generators, and solution checks.
- Packagers for common judge formats, including custom UOJ and participant bundles.
- Typst-based document generation.
Copyright (c) 2025-present, rindag-devs