mnemnion / axLinks
An Algebraic, Executable Ur Machine
☆37Updated 6 years ago
Alternatives and similar repositories for ax
Users that are interested in ax are comparing it to the libraries listed below
Sorting:
- An alternative to Urbit☆93Updated 8 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Urbit examples☆87Updated 4 years ago
- Graphical programming editor☆33Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆88Updated 2 years ago
- A programming argot☆57Updated last year
- okami is an application development platform☆38Updated 2 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- Urbit: an operating function☆95Updated 8 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆89Updated last week
- A relational interpretation of Lojban☆34Updated 3 months ago
- ☆110Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- ☆14Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆82Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Noether programming language☆127Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- bcc is a b compiler☆33Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Julia set generator written for TempleOS☆24Updated 10 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆29Updated 4 years ago