Alternatives and similar repositories for stupid-machines:

Users that are interested in stupid-machines are comparing it to the libraries listed below

• shinh / sedlisp
  Lisp implementation in sed
  ☆553Updated 8 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆369Updated 3 weeks ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆526Updated 5 months ago
• nineties / amber
  A Language for High-Level Programming with Self-Extension
  ☆341Updated 7 years ago
• mame / monumental-quine
  A self-descriptive column object
  ☆34Updated 9 years ago
• alexwarth / ometa-js
  OMeta for JavaScript
  ☆365Updated 11 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• glenjamin / node-fib
  Fast non-blocking fibonacci server
  ☆136Updated 9 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 8 years ago
• breuleux / terminus
  Terminal supporting inline HTML
  ☆238Updated 10 years ago
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆840Updated 11 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆165Updated 9 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• jckarter / clay
  The Clay programming language
  ☆404Updated 3 years ago
• johang88 / haskellinjavascript
  A haskell interpreter in javascript
  ☆198Updated 14 years ago
• bjpop / berp
  An implementation of Python 3
  ☆313Updated 9 years ago
• clarus / falso
  A proof of false in Coq.
  ☆96Updated 5 years ago
• mozilla / narcissus
  INACTIVE - http://mzl.la/ghe-archive - The Narcissus meta-circular JavaScript interpreter
  ☆913Updated 5 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,573Updated 9 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆198Updated last year
• fogus / lithp
  McCarthy's Lisp in Python with macros. A celebration of 50+ years of symbolic processing.
  ☆259Updated last year
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• shinh / bflisp
  C compiler and Lisp interpreter in Brainfuck
  ☆159Updated 8 years ago
• bmillwood / stepeval
  A program for evaluating a Haskell expression step-by-step
  ☆50Updated 8 years ago
• adamyedidia / parsimony
  ☆342Updated 6 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• leonidas / codeblog
  ☆293Updated 2 years ago