VictorTaelin / formality-agda-lib-legacyLinks
Agda libraries relevant to Moonad
☆14Updated 6 years ago
Alternatives and similar repositories for formality-agda-lib-legacy
Users that are interested in formality-agda-lib-legacy are comparing it to the libraries listed below
Sorting:
- Package manager for Idris☆37Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Absal ex☆58Updated 2 years ago
- Calculus of Constructions☆17Updated 6 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- ☆41Updated 5 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Updated 6 years ago
- A simple combinator library☆30Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- ☆35Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- A template for idris projects☆11Updated 4 years ago
- 👅 Parse Haskell Language Extensions☆48Updated 3 weeks ago
- Zippers based on lenses and traversals☆40Updated 2 years ago