PaulBone / ast2wasm
AST to WebAssembly
☆11Updated 6 years ago
Related projects: ⓘ
- Interpreter for Joy in Haskell using extensible-effects☆34Updated 7 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Updated 4 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆14Updated 8 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A dependently typed type checker for a TT with intervals☆21Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- MLpolyR☆7Updated 8 years ago
- ☆23Updated 7 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆10Updated 5 years ago
- Type Theory in Type Theory using Cubical Agda☆12Updated 5 years ago
- pesca: Proof Editor for Sequent Calculus (mirror)☆10Updated 7 years ago
- ☆20Updated this week
- An interpreter of F-ing modules☆18Updated 5 years ago
- ☆25Updated this week
- TODO☆10Updated 8 years ago
- ☆34Updated 5 years ago
- An interactive interpreter for asynchronous algebraic effects☆12Updated 3 months ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 5 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago