Packages for defining APIs, running them, generating client code and documentation.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott