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
  ☆555Updated 8 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆840Updated 11 years ago
• shinh / bflisp
  C compiler and Lisp interpreter in Brainfuck
  ☆160Updated 8 years ago
• clarus / falso
  A proof of false in Coq.
  ☆97Updated 5 years ago
• nineties / amber
  A Language for High-Level Programming with Self-Extension
  ☆341Updated 7 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆371Updated 8 years ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆433Updated 7 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• mame / monumental-quine
  A self-descriptive column object
  ☆34Updated 9 years ago
• johang88 / haskellinjavascript
  A haskell interpreter in javascript
  ☆198Updated 15 years ago
• bjpop / berp
  An implementation of Python 3
  ☆315Updated 9 years ago
• mozilla / narcissus
  INACTIVE - http://mzl.la/ghe-archive - The Narcissus meta-circular JavaScript interpreter
  ☆914Updated 6 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆167Updated 9 years ago
• alexwarth / ometa-js
  OMeta for JavaScript
  ☆366Updated 11 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 7 months ago
• stedolan / bf.sed
  A brainfuck compiler, written in sed
  ☆158Updated 13 years ago
• audreyt / regex-genex
  Given a list of regexes, generate all possible strings that matches all of them.
  ☆148Updated 9 years ago
• ngn / apl
  deleted. i recommend using k instead: https://codeberg.org/ngn/k
  ☆235Updated 3 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• glenjamin / node-fib
  Fast non-blocking fibonacci server
  ☆136Updated 9 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆372Updated 2 years ago
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆569Updated 4 years ago
• breuleux / terminus
  Terminal supporting inline HTML
  ☆237Updated 10 years ago