Alternatives and similar repositories for decaf

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

• zhengyao-lin / ivm
  vm for a dynamically typed language
  ☆35Updated 7 years ago
• jeremyroman / llvm-brainfuck
  An LLVM-based compiler for Brainfuck.
  ☆49Updated 11 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• jpetitto / MiniJava
  A compiler for a subset of the Java programming language.
  ☆24Updated 11 years ago
• microvm / microvm-spec
  We have moved: https://gitlab.anu.edu.au/mu/mu-spec
  ☆26Updated 8 years ago
• maximecb / toyCPU
  Assembly Programming Learning Platform
  ☆27Updated 12 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• gasche / popl2014-papers
  ☆73Updated 11 years ago
• racket / mzscheme
  ☆12Updated this week
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• nany-lang / nanyc
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12Updated 6 years ago
• Michael2109 / cobalt
  The Cobalt programming language
  ☆36Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• misto / Write-Yourself-a-Scheme-in-Scala
  Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.
  ☆7Updated 13 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 13 years ago
• snefru / io.vypa.llvm
  LLVM Intellij Plugin
  ☆17Updated 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
• davidmalcolm / coconut
  An experimental method JIT for CPython 3
  ☆29Updated 9 years ago
• llvm-mirror / klee
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆17Updated 8 years ago
• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆12Updated last week
• bagel99 / esl
  Compiler for a new programming language: Embedded Systems Language (ESL).
  ☆33Updated 2 weeks ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 8 years ago
• altairmn / COOL-Compiler
  Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.
  ☆44Updated 9 years ago
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Updated 10 years ago
• Tatskaari / GustoLang
  A toy language written in kotlin
  ☆16Updated 6 years ago
• yarbroughw / secdpy
  SECD machine and Lispkit Lisp compiler, in Python
  ☆14Updated 7 years ago
• OCamlPro / ocpwin-distrib
  Knowledge Database for OCamlPro's version of OCaml on Windows
  ☆33Updated 9 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 7 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago