mnemnion / axLinks
An Algebraic, Executable Ur Machine
☆37Updated 7 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
- Graphical programming editor☆33Updated 9 years ago
- Urbit examples☆87Updated 5 years ago
- Urbit: an operating function☆97Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 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 4 years ago
- Houyhnhnm Computing☆23Updated last year
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆93Updated 3 weeks ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- A relational interpretation of Lojban☆36Updated 6 months ago
- Noether programming language☆130Updated 8 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/☆41Updated 4 years ago
- Brainfuck with Actors☆36Updated 7 years ago
- ☆14Updated 5 years ago
- A programming argot☆57Updated last year
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆25Updated 7 years ago
- HyperCard-ish in Racket☆39Updated 11 years ago
- Studio is an interactive software diagnostics environment☆121Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Your happy place for learning APL☆15Updated 3 years ago
- A concise programming language that is fun to use☆16Updated 10 years ago
- nock on the jvm☆25Updated 8 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago