dmjio / LC3
The LC3 virtual machine
☆22Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for LC3
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- ☆39Updated 4 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆58Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- A monadic approach to static analysis following the methodology of AAM☆19Updated 9 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Zippers based on lenses and traversals☆38Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- ICFP tutorial☆40Updated 3 years ago