sayon / dwarf-vmLinks
This is a simple stack virtual machine to be a translation target for toy languages.
☆12Updated 5 years ago
Alternatives and similar repositories for dwarf-vm
Users that are interested in dwarf-vm are comparing it to the libraries listed below
Sorting:
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- The Delphin Project☆10Updated 9 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- My Own Linear Lisp☆42Updated 7 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A Small Combinator-Reduction System☆15Updated 5 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Updated 9 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- ☆18Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Simple C Haskell Compiler☆22Updated 2 years ago
- SECD Machine Implementation in x86 Assembly☆24Updated 11 years ago
- Scheme on SECD☆43Updated 4 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 3 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- An interactive tool for experimenting with LR(1) grammars☆19Updated 3 years ago