DaveAckley / MFMLinks
Movable Feast Machine C++ reference implementation and simulator
☆91Updated 2 months ago
Alternatives and similar repositories for MFM
Users that are interested in MFM are comparing it to the libraries listed below
Sorting:
- Compiler for MFM programming language☆59Updated 4 months ago
- Compiler for MFM programming language☆22Updated last month
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated last week
- Animations of lambda term reduction sequences☆141Updated 7 years ago
- Sending the lambda calculus into deep space☆150Updated 3 years ago
- Previously at https://code.google.com/p/ruletablerepository☆99Updated last week
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- Cellular Automata Machine (CAM6) Simulator☆34Updated 5 months ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Support repository for the T2-12 tile☆44Updated last year
- things that don't deserve their own repo☆64Updated last month
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 9 months ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆279Updated 11 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- ☆166Updated 12 years ago
- The Nomyx game☆84Updated last year
- Leibniz - a Digital Scientific Notation☆35Updated 3 months ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- The Om programming language.☆174Updated 9 months ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Catalog of visual lambda calculi☆146Updated 3 weeks ago
- An alternative to Urbit☆94Updated 7 years ago