DaveAckley / ULAMLinks
Compiler for MFM programming language
☆25Updated 5 months ago
Alternatives and similar repositories for ULAM
Users that are interested in ULAM are comparing it to the libraries listed below
Sorting:
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 6 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 4 years ago
- Compiler for MFM programming language☆59Updated 8 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- various toys in j☆12Updated 3 years ago
- Brief language☆20Updated last year
- MUD Server written in Prolog using Forward chaining☆28Updated 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
- ☆14Updated 4 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 8 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- okami is an application development platform☆38Updated 3 months ago
- things that don't deserve their own repo☆63Updated 5 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Art of Prolog Code☆36Updated 6 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- An Impractical Stack Language☆14Updated 5 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…☆15Updated 3 years ago
- The Om programming language.☆174Updated last year
- A programming argot☆57Updated last year
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com☆37Updated last year
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Stackless Joy☆23Updated 7 months ago
- High-end Cryptographic Library☆44Updated 6 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 7 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago