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
- An alternative to Urbit☆94Updated 7 years ago
- nock on the jvm☆25Updated 7 years ago
- ☆18Updated last year
- Urbit examples☆87Updated 4 years ago
- Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.☆38Updated 2 years ago
- Watch an Urbit nock expression get processed step by step in a browser☆11Updated 3 years ago
- A Hoon tutorial / adventure☆31Updated 8 years ago
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Updated 4 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- talk to your urbit from haskell☆9Updated 4 years ago
- Urbit API for emacs in elisp.☆12Updated 3 years ago
- ~talkbot, the one and only.☆12Updated 6 years ago
- Graphical programming editor☆33Updated 8 years ago
- Reference card for Hoon runes.☆24Updated 2 years ago
- Proof-of-concept clay visualizer☆23Updated 2 years ago
- Tree-sitter grammar for urbit language hoon☆14Updated 4 months ago
- ☆17Updated 4 years ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- ☆109Updated 5 years ago
- Houyhnhnm Computing☆21Updated 3 months ago
- Kanren with databases☆43Updated 9 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- A programming argot☆58Updated last year
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 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
- Urbit: an operating function☆95Updated 7 years ago
- Urbit app for documentation☆10Updated 2 weeks ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago