mnemnion / ax
An Algebraic, Executable Ur Machine
☆36Updated 6 years ago
Alternatives and similar repositories for ax:
Users that are interested in ax are comparing it to the libraries listed below
- Urbit examples☆85Updated 4 years ago
- ☆18Updated last year
- A Hoon tutorial / adventure☆31Updated 8 years ago
- An alternative to Urbit☆93Updated 7 years ago
- Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.☆38Updated 2 years ago
- Tanote (tah-noh-tay) is a factious note store for Urbit, which uses tags to present subsets of notes, and sends versions of notes to othe…☆13Updated 2 years ago
- Watch an Urbit nock expression get processed step by step in a browser☆11Updated 2 years ago
- nock on the jvm☆25Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- A relational interpretation of Lojban☆33Updated 2 months ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- things that don't deserve their own repo☆64Updated 2 months ago
- Urbit API for emacs in elisp.☆11Updated 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…☆89Updated last year
- Noether programming language☆126Updated 7 years ago
- ☆109Updated 5 years ago
- Houyhnhnm Computing☆22Updated last month
- Notes on P-omega☆14Updated 7 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Urbit: an operating function☆95Updated 7 years ago
- A bare-bones blogging system, written in Prolog☆25Updated last year
- experimental computational medium and supporting tools☆22Updated this week