Alternatives and similar repositories for docs

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

• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 2 months ago
• etaoins / llambda
  Scheme R7RS frontend for LLVM
  ☆69Updated 7 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 4 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago
• racket / eopl
  ☆39Updated 3 months ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆47Updated 3 weeks ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆108Updated 4 years ago
• keyz / p423-compiler
  A Scheme to x86-64 compiler in Scheme
  ☆81Updated 10 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆30Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• petermichaux / royal-scheme
  Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.
  ☆77Updated 13 years ago
• ktakashi / sagittarius-scheme
  Official Sagittarius Scheme repository
  ☆54Updated this week
• carlohamalainen / pysecd
  Python interpreter for Peter Landin's SECD abstract machine.
  ☆42Updated 12 years ago
• cslarsen / mickey-scheme
  Mickey Scheme is an interpreter for R7RS Scheme written in pure C++
  ☆64Updated 8 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• eu90h / rackdis
  Redis bindings for Racket
  ☆15Updated 2 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆70Updated 8 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆19Updated 8 years ago
• melvinzhang / bit-scheme
  BIT: A Very Compact Scheme System for Microcontrollers
  ☆43Updated 9 years ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆26Updated last year