DaveAckley / MFMLinks
Movable Feast Machine C++ reference implementation and simulator
☆93Updated 5 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 7 months ago
- Compiler for MFM programming language☆25Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated this week
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Support repository for the T2-12 tile☆44Updated last year
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- Life like molecular computers with artificial chemistry.☆137Updated 3 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago
- Sending the lambda calculus into deep space☆150Updated 3 years ago
- The Om programming language.☆174Updated last year
- Catalog of visual lambda calculi☆157Updated 3 months ago
- Previously at https://code.google.com/p/ruletablerepository☆98Updated 2 months ago
- things that don't deserve their own repo☆63Updated 4 months ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆280Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 11 months ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 6 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years 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
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- ☆166Updated 12 years ago
- The Nomyx game☆84Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A programming argot☆57Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago