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:
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Absal ex☆58Updated 2 years ago
- 🧠 Type-safe memory units☆61Updated 5 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Calculus of Constructions☆17Updated 6 years ago
- Simplified Observational Type Theory☆86Updated 2 years ago
- Build tool for ATS.☆42Updated 3 years ago
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Package manager for Idris☆37Updated 3 years ago
- ☆36Updated 6 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Updated 6 years ago
- ♾️ Sized list☆47Updated last year
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- A simple Idris program to blink the LED on an Arduino☆58Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 3 months ago
- A simple combinator library☆30Updated 7 years ago
- Named parameters (keyword arguments) for Haskell☆98Updated 9 months ago