Alternatives and similar repositories for faba:

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

• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated 7 months ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 9 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 10 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• wasmjit-omr / wasmjit-omr
  The WebAssembly Binary Toolkit (with JitBuilder-based JIT compiler)
  ☆10Updated 5 years ago
• ragnard / shen-truffle
  Port of the Shen programming language to the Graal runtime
  ☆26Updated 7 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• metaborg / spoofax-intellij
  ☆11Updated 5 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 4 months ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• xanadu-lang / xinterp
  An interpreter for the D3-level syntax of ATS3/Xanadu
  ☆11Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated this week
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago