vmchale / recursion
Recursion schemes in ATS
ā9Updated 2 years ago
Related projects ā
Alternatives and complementary repositories for recursion
- š Idris implementation of patricia treeā22Updated 4 years ago
- More strongly typed variant of the ixset Haskell packageā23Updated 2 months ago
- Type Safe LLVM IR ( Experimental )ā49Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis projectā18Updated 5 years ago
- Edit is a monad for rewriting things.ā23Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)ā15Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā21Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checkerā14Updated 8 years ago
- Dependently typed elimination functions using singletonsā28Updated 2 weeks ago
- ā23Updated 7 years ago
- Reification of data structures using observable sharingā28Updated last week
- Resin: high performance variable binder and ast manipulation libā13Updated 5 years ago
- van Laarhoven lenses for Idrisā20Updated 7 years ago
- A simple implementation of linear type theoryā38Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.ā28Updated 9 years ago
- A compiler for a strongly typed, haskell-like functional languageā22Updated 6 years ago
- A simple, purely-functional programming languageā24Updated 2 years ago
- OCaml backend for Idris2ā19Updated 4 years ago
- Hakyll support for Agda literate filesā19Updated 3 years ago
- Minimal binary serialization library with focus on performanceā17Updated 3 years ago
- A Haskell implementation of the Formality languageā18Updated 4 years ago
- ā23Updated 6 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)ā16Updated 8 years ago
- A natural transformation packageā16Updated last week
- Universal Register Machine implemented at the type-level of Haskellā23Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's workā19Updated 6 years ago
- A two-dimensional parser combinator library.ā41Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.ā48Updated 6 months ago
- a logic-based trust-management systemā19Updated 12 years ago