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
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆42Updated 3 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• enso-lang / enso
  ☆71Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 7 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated this week
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 7 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• dom96 / nael
  Stack-based language similar to Factor.
  ☆26Updated 7 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 6 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 11 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• lojikil / carML
  carML - a yummy and sweet ML dialect
  ☆19Updated 3 years ago