DaveAckley / T2-12Links
Support repository for the T2-12 tile
☆44Updated last year
Alternatives and similar repositories for T2-12
Users that are interested in T2-12 are comparing it to the libraries listed below
Sorting:
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 7 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Compiler for MFM programming language☆25Updated 5 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- Hypergraph Rewriting System☆93Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated 2 weeks ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆28Updated last year
- The Coil Programming Language☆33Updated last year
- archived prototype for sketching dynamic models☆38Updated 6 months ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated this week
- Compiler for MFM programming language☆59Updated 8 months ago
- ☆44Updated last year
- The rule-based graph programming language GP 2☆70Updated 3 weeks ago
- ☆60Updated last year
- CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign☆64Updated 3 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
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- Programming language for ternary computing☆31Updated 4 years ago
- 🎁 Physical computing system.☆187Updated this week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- ☆104Updated 3 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- A programming language and user interface toolkit for creating structured editors.☆20Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Getting started, manuals and tutorials☆55Updated last year
- An archive of material related to the Cyc project.☆30Updated last month
- Animations of lambda term reduction sequences☆154Updated 7 years ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- ☆53Updated 4 months ago