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
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 6 months ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 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.
  ☆31Updated 4 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆53Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• fare / moll
  My Own Linear Lisp
  ☆41Updated 7 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 13 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 weeks ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆52Updated 2 months ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 7 months ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆122Updated 3 years ago