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
• Tipoca / hlvm
  High-Level Virtual Machine for statically-typed functional languages.
  ☆48Updated 14 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
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated 3 weeks ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 6 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 7 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆19Updated 2 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 7 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last week
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 6 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆14Updated 6 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 6 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆41Updated 11 months ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆73Updated 12 years ago
• ragnard / shen-truffle
  Port of the Shen programming language to the Graal runtime
  ☆26Updated 8 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 10 months ago