elenasa / ULAMLinks
Compiler for MFM programming language
☆59Updated 2 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☆91Updated last month
- Compiler for MFM programming language☆22Updated 3 months ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆159Updated last week
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆106Updated 4 months ago
- The Nomyx game☆84Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Dependently-typed language with Iverson-style implicit lifting☆122Updated 5 years ago
- Urbit: an operating function☆95Updated 7 years ago
- Support repository for the T2-12 tile☆44Updated last year
- The propagator system☆41Updated 9 years ago
- programmable space at Recurse Center☆53Updated last year
- 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
- things that don't deserve their own repo☆64Updated this week
- An alternative to Urbit☆94Updated 7 years ago
- A purely functional programming language intended for practical programming.☆28Updated 15 years ago
- ☆166Updated 12 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- miniKanren in the browser☆55Updated 9 years ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- The Om programming language.☆173Updated 8 months ago
- Dr. Bayes☆84Updated 8 years ago