DaveAckley / ULAMLinks
Compiler for MFM programming language
☆23Updated last month
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☆91Updated 3 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Compiler for MFM programming language☆59Updated 5 months ago
- things that don't deserve their own repo☆64Updated 2 months ago
- MUD Server written in Prolog using Forward chaining☆29Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- various toys in j☆12Updated 3 years ago
- okami is an application development platform☆38Updated last week
- ☆14Updated 4 years ago
- A programming argot☆58Updated last year
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated last month
- Book lucid interpreter written in python☆24Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated last month
- Art of Prolog Code☆36Updated 6 years ago
- Freeputer ( ) [ ] { } forever free☆40Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 4 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- The Om programming language.☆174Updated 10 months ago
- An Algebraic, Executable Ur Machine☆37Updated 6 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…☆16Updated 3 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com☆38Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Brief language☆20Updated last year
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 9 months ago