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 8 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆124Updated 12 years ago
- Urbit: an operating function☆95Updated 8 years ago
- A relational interpretation of Lojban☆34Updated 4 months 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…☆88Updated 2 years ago
- Noether programming language☆129Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- A programming argot☆57Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- okami is an application development platform☆38Updated 3 months ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- ☆23Updated 8 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated last week
- Your happy place for learning APL☆15Updated 2 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- WebAssembly version of Plorth programming language☆16Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆57Updated 6 years ago
- Kanren with databases☆44Updated last year
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- nock on the jvm☆25Updated 8 years ago