Alternatives and similar repositories for specifications

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

• endoli / brass-tacks
  Sorting out the basic facts behind our projects.
  ☆10Updated 9 years ago
• mndrix / binprolog
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Updated 12 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 9 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
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 15 years ago
• akkartik / wart
  An experimental, small, readable Lisp with thorough unit tests and extensible functions/macros.
  ☆145Updated 5 years ago
• 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 9 months ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆56Updated 9 years ago
• RobertGollagher / Freeputer
  Freeputer ( ) [ ] { } forever free
  ☆40Updated 7 years ago
• MikeBeller / janet-benchmarksgame
  Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.
  ☆14Updated 3 years ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆132Updated 2 weeks ago
• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• thegeez / janet-jsvm
  Partial implementation of the Janet bytecode VM in Javascript
  ☆16Updated 3 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆134Updated 4 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆85Updated 8 years ago
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆20Updated 4 years ago
• rentzsch / lich
  Simple, general, human-sympathetic binary data format
  ☆107Updated last year
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆163Updated 2 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
• SOM-st / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆38Updated 4 years ago
• progranet / OMeta.Lua
  OMeta for Lua
  ☆13Updated 4 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• catwell / datalog.lua
  A datalog implementation in pure Lua (LPEG parser).
  ☆22Updated last month
• alpha123 / vio
  A concise programming language that is fun to use
  ☆16Updated 9 years ago
• mschuldt / raillisp
  A fast and portable lisp implemented in forth
  ☆28Updated 4 years ago
• codr7 / forthy2
  a Forth (for you) too
  ☆56Updated 5 years ago
• false-schemers / skint
  Cheap and fast R7RS Scheme interpreter
  ☆86Updated last week
• jar398 / w7
  Hacks related to dissertation
  ☆13Updated 5 years ago