sayon / dwarf-vm

Related projects ⓘ

Alternatives and complementary repositories for dwarf-vm

• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 11 years ago
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆11Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 3 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆55Updated 7 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆34Updated 2 weeks ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 4 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated last year
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 3 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆21Updated 5 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆72Updated 4 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 5 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 3 months ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 12 years ago