Alternatives and similar repositories for specifications

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

• jimf / joy-js
  Interpreter for the Joy programming language, written in JavaScript
  ☆14Updated 7 years ago
• mndrix / binprolog
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Updated 12 years ago
• endoli / brass-tacks
  Sorting out the basic facts behind our projects.
  ☆10Updated 9 years ago
• akkartik / wart
  An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.
  ☆145Updated 5 years ago
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated last week
• rentzsch / lich
  Simple, general, human-sympathetic binary data format
  ☆107Updated last year
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆132Updated last week
• avik-das / garlic
  A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…
  ☆13Updated 8 months ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆48Updated 8 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆88Updated 2 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆56Updated 9 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 9 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 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
• IonoclastBrigham / colon-firth
  A simple Forth-like language intended for DSL creation, implemented in Lua.
  ☆27Updated last month
• silentbicycle / lua-ukanren
  Lua port of of microKanren, a minimal logic programming engine.
  ☆34Updated 11 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆16Updated 6 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 4 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 2 months ago
• SOM-st / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆37Updated 4 years ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆134Updated 4 years ago
• actondev / s7-playground
  Try s7 scheme in your browser, powered by WebAssembly
  ☆46Updated 5 years ago
• shmup / redbean-calcpad
  CalcPad served with redbean
  ☆15Updated 3 years ago
• eugeneia / s-lua
  S-Lua, S-expressions and Macros for Lua
  ☆29Updated 8 years ago
• rwmjones / miniexpect
  Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary
  ☆69Updated 3 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆29Updated 14 years ago