matteo-meluzzi / agda2hvm
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for agda2hvm
- Session types framework with support of protocol pipelining.☆15Updated last month
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- Fωμ type checker and compiler☆51Updated last year
- Package manager for Idris☆35Updated 2 years ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Asynchronous type-checking for Agda 2.6.2.☆21Updated 6 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 4 months ago
- ☆36Updated 6 years ago
- APIs for more recursive definitions☆19Updated 3 weeks ago
- 🪆 A Staged Type Theory☆34Updated last year
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- GRIN backend for Idris2☆33Updated 2 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- Specification of the Formality proof and programming language☆40Updated last year
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 6 years ago
- Agda libraries relevant to Moonad☆14Updated 5 years ago
- Bidirectional Parsing. Work in Progress☆30Updated last month