habit-lang / language-reportLinks
LaTeX sources for the Habit Programming Language Report
☆24Updated 6 years ago
Alternatives and similar repositories for language-report
Users that are interested in language-report are comparing it to the libraries listed below
Sorting:
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Dependent hash maps☆14Updated last month
- A tiny statically typed programming language☆18Updated 10 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- ☆41Updated 7 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 9 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- ☆23Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆14Updated 7 years ago
- Recursion schemes in ATS☆9Updated 3 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Reification of data structures using observable sharing☆29Updated 7 months ago
- Efficient parser combinators for Haskell☆39Updated last year
- A Dependently Typed Programming Language☆27Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Type Theory in Type Theory using Cubical Agda☆13Updated 6 years ago
- NanoVG Haskell bindings☆22Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- MPFR bindings for Haskell☆34Updated last year