Alternatives and similar repositories for MechanicalComputingSystems

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

• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 6 years ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆16Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆166Updated 2 weeks ago
• dicpeynado / prolog-in-forth
  L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
  ☆14Updated 3 years ago
• mangpo / chlorophyll
  Synthesis-Aided Compiler for GreenArrays GA144
  ☆53Updated 8 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• CoSyBob / CoSy
  CoSy APL NoteComputing environment in open x86 Reva Forth
  ☆36Updated 5 years ago
• mschuldt / ga144
  Compiler, loader, and simulator for the GA144 multi-computer chip
  ☆32Updated 6 years ago
• uho / preForth
  a minimalistic Forth kernel that can bootstrap
  ☆79Updated 3 years ago
• civboot / fngi
  a readable language that grows from the silicon
  ☆60Updated 2 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• phreda4 / r3vm
  r3 virtual machine, succesor of :r4
  ☆17Updated 4 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• stefano / wasm-forth
  A Forth implementation compiling to WebAssembly.
  ☆146Updated 6 years ago
• cbiffle / cfm
  A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
  ☆58Updated 4 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆28Updated 14 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• siraben / r216-forth
  A Forth implementation for the R216K8B Powder Toy computer.
  ☆27Updated last year
• ablevm / able-forth
  A Forth-like programming language that targets the AbleVM
  ☆52Updated 2 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 3 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 3 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆37Updated 11 months ago
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆18Updated 2 years ago
• mikewarot / mstoical
  MStoical - a Forth like language, but better
  ☆24Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 9 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 6 months ago
• anse1 / firmforth
  A just-in-time-compiling forth system using libfirm.
  ☆57Updated 8 years ago