matteo-meluzzi / agda2hvm
☆13Updated last year
Related projects: ⓘ
- 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
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- ☆13Updated this week
- Specification of the Formality proof and programming language☆40Updated last year
- A TOML parser for Idris 2☆15Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- Session types framework with support of protocol pipelining.☆15Updated this week
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 6 years ago
- Agda libraries relevant to Moonad☆14Updated 5 years ago
- ☆18Updated 4 months ago
- 🦠 Reusable components based on algebraic effects☆47Updated 2 months ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- ☆29Updated this week
- Lean 4 port of Megaparsec☆22Updated 8 months ago
- Libgit2 bindings for Idris 2☆14Updated 4 years ago
- ☆36Updated 2 years ago
- GRIN backend for Idris2☆32Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆43Updated last year
- ☆19Updated last month
- ☆22Updated this week
- Minimal, efficient proof language☆14Updated 5 years ago
- OCaml backend for Idris2☆19Updated 3 years ago
- LR(1) parser (and generator)☆8Updated 9 months ago
- A simple functional programming language.☆20Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆28Updated 9 months ago
- Optics via the profunctor representation theorem☆23Updated 2 years ago