DaveAckley / MFMLinks
Movable Feast Machine C++ reference implementation and simulator
☆91Updated 4 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 5 months ago
- Compiler for MFM programming language☆23Updated 2 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- Animations of lambda term reduction sequences☆145Updated 7 years ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Support repository for the T2-12 tile☆44Updated last year
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- The Nomyx game☆84Updated last year
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Life like molecular computers with artificial chemistry.☆137Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- The Om programming language.☆174Updated 10 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- Previously at https://code.google.com/p/ruletablerepository☆99Updated last month
- Hypergraph Rewriting System☆82Updated last year
- ☆166Updated 12 years ago
- Catalog of visual lambda calculi☆151Updated 2 months ago
- things that don't deserve their own repo☆64Updated 2 months ago
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 10 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆280Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- An Artificial Life system designed as an approach to Artificial Intelligence☆198Updated 4 years ago
- ☆101Updated 3 years ago