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
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 10 months ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 7 years ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 8 years ago
• metaborg / spoofax-intellij
  ☆11Updated 2 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• enso-lang / enso
  ☆71Updated 5 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 6 months ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• idris-industry / idris-ffi-example
  A minimal example of the Idris C FFI
  ☆14Updated 10 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆12Updated 5 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago