Alternatives and similar repositories for decaf:

Users that are interested in decaf are comparing it to the libraries listed below

• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• maximecb / toyCPU
  Assembly Programming Learning Platform
  ☆27Updated 12 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• zhengyao-lin / ivm
  vm for a dynamically typed language
  ☆35Updated 7 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• racket / mzscheme
  ☆12Updated 3 months ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• jaaron / toy-bytecode
  A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.
  ☆18Updated last year
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• jeremyroman / llvm-brainfuck
  An LLVM-based compiler for Brainfuck.
  ☆48Updated 11 years ago
• campaul / octave
  An 8-bit CPU designed for education
  ☆22Updated 10 years ago
• leowhitehead / MontiLang
  A Stack-Oriented Imperative Programming language
  ☆11Updated 5 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆12Updated last year
• OCamlPro / ocpwin-distrib
  Knowledge Database for OCamlPro's version of OCaml on Windows
  ☆33Updated 9 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• PistonDevelopers / docs
  Documentation for piston's projects.
  ☆8Updated 3 years ago
• jtauber / dcpu16py
  A Python implementation of Notch's DCPU-16 (complete with assembler, disassembler, debugger and video terminal implementations)
  ☆192Updated 10 years ago
• amal029 / jop
  Instrumented Java Optimized processor
  ☆28Updated 11 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆15Updated 7 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 9 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆23Updated 7 years ago
• nany-lang / nanyc
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12Updated 6 years ago
• Zubnix / trinityshell
  Trinity Shell. A Java based window manager and desktop shell.
  ☆25Updated 10 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• rthornton128 / gocalc
  A toy programming language to learn compiler design
  ☆13Updated 10 years ago
• trishume / OpenTuringCompiler
  A cross platform Turing Compiler built with LLVM.
  ☆25Updated 8 years ago