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
- nock on the jvm☆26Updated 7 years ago
- An alternative to Urbit☆94Updated 7 years ago
- Urbit API for emacs in elisp.☆11Updated 3 years ago
- Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.☆38Updated 2 years ago
- A Hoon tutorial / adventure☆31Updated 8 years ago
- ☆18Updated last year
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- A relational interpretation of Lojban☆33Updated 2 months ago
- Graphical programming editor☆33Updated 8 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- ☆17Updated 4 years ago
- Watch an Urbit nock expression get processed step by step in a browser☆11Updated 2 years ago
- Proof-of-concept clay visualizer☆23Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Plan 9 Acme Inspired Editor, done in Scala.☆28Updated last year
- 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
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Updated 4 years ago
- Reference card for Hoon runes.☆24Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- Tree-sitter grammar for urbit language hoon☆14Updated 4 months ago
- A programming argot☆58Updated last year
- ☆109Updated 5 years ago