Alternatives and similar repositories for brass-tacks

Users that are interested in brass-tacks are comparing it to the libraries listed below

• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 9 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆132Updated 4 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• kstenerud / specifications
  Specifications for better computing
  ☆10Updated 5 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆65Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 8 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆25Updated 10 months ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• dobesv / charity
  Charity Programming Language
  ☆40Updated 10 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 6 years ago
• googoogaga / goo
  The Goo programming language.
  ☆24Updated 11 years ago
• white-flame / am
  Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
  ☆53Updated last year
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• ProgrammerArchaeology / openamulet
  ☆13Updated 6 months ago
• latte-central / latte-kernel
  The (very) small kernel of the LaTTe proof assistant
  ☆12Updated 4 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• mflatt / zuo
  ☆41Updated 2 months ago
• nagydani / seedling
  A Programming Language for Everyone and Everything
  ☆36Updated 6 months ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 2 months ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago