Mesabloo / jellyvm
A VM written following the Linear Abstract Machine architecture
☆22Updated 5 years ago
Alternatives and similar repositories for jellyvm:
Users that are interested in jellyvm are comparing it to the libraries listed below
- Linear algebra formalization in Agda☆16Updated 5 years ago
- an experiment in presenting code.☆14Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 11 months ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- ☆20Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A truly tiny monadic parsing library☆28Updated 4 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A usable type system for call by push-value☆30Updated 5 years ago
- A two-dimensional parser combinator library.☆41Updated 7 years ago
- python parser combinators (parsec) library☆11Updated 6 years ago
- Reading, writing and manipulating ".tar" archive files.☆40Updated 2 weeks ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 4 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- ☆23Updated 7 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Dependent hash maps☆14Updated 7 months ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago