Alternatives and similar repositories for wambook

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

• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• melvinzhang / scheme2llvm
  Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/
  ☆72Updated 8 years ago
• lwhjp / racket-asm
  ☆19Updated 4 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Updated 12 years ago
• barak / oaklisp
  An object-oriented dialect of Scheme
  ☆61Updated last week
• darius / cant
  A programming argot
  ☆57Updated last year
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆95Updated 5 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆83Updated 5 years ago
• mflatt / zuo
  ☆41Updated 7 months ago
• SOM-st / SOM
  SOM - Simple Object Machine
  ☆70Updated 5 months ago
• mflatt / expander
  ☆75Updated 10 months ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated 2 months ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 12 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆214Updated 3 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆139Updated last month
• nobutaka / nanopass
  Nanopass scheme compiler in scheme for x86
  ☆68Updated 8 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• carld / compiler-tutorial
  Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX
  ☆62Updated 8 years ago
• tavmem / buddy
  early A interpreter with buddy system space management.
  ☆44Updated 5 years ago
• sbp / hedgehog
  Concise implementation of a lisp-like language for low-end and embedded devices
  ☆100Updated 12 years ago
• danlm / QNial7
  The NIAL language environment
  ☆114Updated 2 years ago