sayon / dwarf-vm
This is a simple stack virtual machine to be a translation target for toy languages.
☆12Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for dwarf-vm
- A small NuPRL style proof assistant☆32Updated 5 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- A Small Combinator-Reduction System☆14Updated 4 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆26Updated 3 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- an encoding of affine effect handlers using pthreads☆12Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A dependently typed type checker for a TT with intervals☆21Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆55Updated 7 months ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A simple supercompiler formally verified in Agda☆29Updated 7 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- Compositional type checking for a Hindley-Milner type system☆11Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago