Alternatives and similar repositories for specifications

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

• ret2pop / stem
  A minimal stack based programming language
  ☆33Updated last year
• endoli / brass-tacks
  Sorting out the basic facts behind our projects.
  ☆10Updated 9 years ago
• ecky-l / wacl
  A Tcl distibution for WebAssembly or Javascript
  ☆86Updated 8 years ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆74Updated 3 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated 3 months 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 10 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆19Updated 11 years ago
• xclucas / movForth
  LLVM frontend for the Forth Language
  ☆90Updated last year
• mndrix / binprolog
  Contributions to BinProlog. See https://code.google.com/p/binprolog/
  ☆10Updated 12 years ago
• PhoenixBureau / PythonOberon
  Some software for using Oberon 2013. http://www.inf.ethz.ch/personal/wirth/ProjectOberon/
  ☆15Updated 2 years ago
• locklin / lush-code
  ☆20Updated 11 months ago
• false-schemers / skint
  Cheap and fast R7RS Scheme interpreter
  ☆89Updated last month
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆134Updated 5 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
• ProgrammerArchaeology / openamulet
  ☆14Updated 10 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 4 months ago
• jimf / joy-js
  Interpreter for the Joy programming language, written in JavaScript
  ☆14Updated 7 years ago
• shmup / redbean-calcpad
  CalcPad served with redbean
  ☆15Updated 3 years ago
• rentzsch / lich
  Simple, general, human-sympathetic binary data format
  ☆107Updated 2 years ago
• slebetman / tcled
  Pure Tcl Console Text Editor
  ☆61Updated 2 years ago
• SOM-st / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆38Updated 4 years ago
• codr7 / eli
  Embedded Lisp Interpreter
  ☆53Updated 7 months ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆151Updated 2 weeks ago
• codefrau / Smalltalk78
  A Smalltalk-78 VM in Javascript
  ☆54Updated 6 months ago
• Bystroushaak / tinySelf
  Self-like language implemented in the RPython language toolkit.
  ☆31Updated 4 years ago
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆20Updated 4 years ago
• false-schemers / sharpF
  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…
  ☆59Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago