Alternatives and similar repositories for docs:

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

• apl-cornell / jif
  Java-like Language with Static Information Flow Types
  ☆11Updated 2 years ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆59Updated 4 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆180Updated 6 years ago
• repos-bitc / bitc
  The BitC Programming Language (unofficial, unaffiliated mirror)
  ☆25Updated 12 years ago
• fare / moll
  My Own Linear Lisp
  ☆39Updated 6 years ago
• xanadu-lang / xinterp
  An interpreter for the D3-level syntax of ATS3/Xanadu
  ☆11Updated 3 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 7 years ago
• silentbicycle / oscar
  mark/sweep garbage collector for C
  ☆28Updated 12 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated this week
• stokito / fortress-lang
  ☆54Updated 8 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆26Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆14Updated last week
• mflatt / jit-demo
  ☆64Updated 8 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 3 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• standardml / SML-JSON
  A basic JSON parsing library for SML
  ☆11Updated 9 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆30Updated 5 months ago
• miniKanren / simple-miniKanren
  Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
  ☆42Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 11 months ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated 3 weeks ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆24Updated 6 months ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago