Alternatives and similar repositories for faba

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

• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 9 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 4 months ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• rewriting / tom
  ☆34Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 3 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• ilya-klyuchnikov / refal
  ☆13Updated 7 months ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago