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
- A Hoon tutorial / adventure☆31Updated 8 years ago
- An alternative to Urbit☆93Updated 7 years ago
- Graphical programming editor☆33Updated 8 years ago
- nock on the jvm☆24Updated 7 years ago
- Language Server for Hoon. Middleware to translate between the Language Server Protocol and your Urbit.☆37Updated 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
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- ☆18Updated last year
- Watch an Urbit nock expression get processed step by step in a browser☆11Updated 2 years ago
- Produce a fractal from the Julia set on Urbit in Hoon.☆14Updated 4 years ago
- Proof-of-concept clay visualizer☆23Updated 2 years ago
- ☆16Updated 4 years ago
- Reference card for Hoon runes.☆24Updated 2 years ago
- Urbit app for documentation☆10Updated 11 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- The web interface for your urbit.☆13Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- ~talkbot, the one and only.☆12Updated 6 years ago
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Updated 4 years ago
- a spaced repetition repetition system on urbit☆50Updated 2 years ago
- An Atom package assisting with the steep learning curve of the Hoon programming language.☆20Updated 8 years ago
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- Urbit API for emacs in elisp.☆11Updated 3 years ago
- Urbit: an operating function☆95Updated 7 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- talk to your urbit from haskell☆9Updated 3 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- Wiki for urbit☆10Updated 6 years ago