rocq-community / coq-nix-toolboxLinks
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
☆41Updated last week
Alternatives and similar repositories for coq-nix-toolbox
Users that are interested in coq-nix-toolbox are comparing it to the libraries listed below
Sorting:
- CS410 "Advanced Functional Programming"☆25Updated 2 months ago
- High level commands to declare a hierarchy based on packed classes☆99Updated last week
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆27Updated 2 months ago
- Agda as a collaborative multiplayer game☆37Updated 9 months ago
- high-performance cubical evaluation☆74Updated 2 months ago
- Nix overlay for Lean 4, and lake2nix☆50Updated 2 weeks ago
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆59Updated 6 months ago
- sockets for Lean 4☆19Updated last week
- Language Server for Agda☆112Updated 7 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆35Updated 4 months ago
- ☆29Updated 3 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- IO for Gallina☆33Updated 3 weeks ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆68Updated 3 months ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Class instances for Coq inductive types with little boilerplate☆25Updated 3 months ago
- A Testing Framework for Lean☆57Updated 3 months ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Fast equality saturation in Haskell☆84Updated this week
- Lecture notes on realizability☆74Updated 4 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆34Updated last week
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆51Updated last year
- An enhanced unification algorithm for Coq☆56Updated 3 months ago
- Monadic effects and equational reasoning in Rocq☆72Updated 3 weeks ago
- Compiler backend for generating Scheme code☆26Updated last year
- ☆48Updated last month
- Normalization by evaluation of simply typed combinators.☆26Updated 3 years ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆75Updated last week