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
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆840Updated 11 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• glenjamin / node-fib
  Fast non-blocking fibonacci server
  ☆136Updated 9 years ago
• alexwarth / ometa-js
  OMeta for JavaScript
  ☆366Updated 11 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 9 years ago
• nineties / amber
  A Language for High-Level Programming with Self-Extension
  ☆341Updated 8 years ago
• shinh / makelisp
  Lisp implementation in GNU make
  ☆168Updated 9 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆528Updated 2 weeks ago
• leonidas / codeblog
  ☆294Updated 2 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• shinh / bflisp
  C compiler and Lisp interpreter in Brainfuck
  ☆162Updated 8 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆377Updated 3 months ago
• johang88 / haskellinjavascript
  A haskell interpreter in javascript
  ☆198Updated 15 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• clarus / falso
  A proof of false in Coq.
  ☆98Updated 5 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆214Updated 9 months ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 10 years ago
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆433Updated 8 years ago
• m-ender / retina
  A regex-based programming language.
  ☆233Updated 2 years ago
• breuleux / terminus
  Terminal supporting inline HTML
  ☆237Updated 10 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 7 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆195Updated 2 weeks ago
• ngn / apl
  deleted. i recommend using k instead: https://codeberg.org/ngn/k
  ☆235Updated 3 years ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆877Updated 9 months ago
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,122Updated 2 years ago