lawcho / agda2cLinks
Agda to C compiler
☆10Updated 2 years ago
Alternatives and similar repositories for agda2c
Users that are interested in agda2c are comparing it to the libraries listed below
Sorting:
- Verified NbE via gluing in Agda☆11Updated last year
- ☆15Updated last year
- Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories☆15Updated 12 years ago
- ☆21Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically