mattmoses / MechanicalComputingSystemsLinks
mechanical computing with links and rotary joints
☆18Updated 7 years ago
Alternatives and similar repositories for MechanicalComputingSystems
Users that are interested in MechanicalComputingSystems are comparing it to the libraries listed below
Sorting:
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- 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
- Book lucid interpreter written in python☆24Updated 6 years ago
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆54Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated 2 weeks ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆14Updated 4 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- Doug Lenat's EURISKO from SAIL archives circa 1981☆66Updated last year
- Compiler, loader, and simulator for the GA144 multi-computer chip☆32Updated 6 years ago
- An archive of material related to the Cyc project.☆29Updated 2 months ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- ☆23Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Updated 3 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Compiler for MFM programming language☆23Updated 2 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆19Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A Small Combinator-Reduction System☆15Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Stackless Joy☆23Updated 5 months ago
- Manfred von Thun's Programming Language Joy☆16Updated 8 months ago
- various toys in j☆12Updated 3 years ago