Mesabloo / jellyvm
A VM written following the Linear Abstract Machine architecture
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for jellyvm
- Linear algebra formalization in Agda☆16Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- python parser combinators (parsec) library☆11Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- an experiment in presenting code.☆14Updated 4 years ago
- Idris, but it's C☆24Updated 6 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Simply typed lambda calculus in cubical agda☆21Updated 4 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- ICFP tutorial☆40Updated 3 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- ☆39Updated 3 months ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago