cgyarvin / urbitLinks
Urbit: an operating function
☆95Updated 7 years ago
Alternatives and similar repositories for urbit
Users that are interested in urbit are comparing it to the libraries listed below
Sorting:
- Urbit examples☆88Updated 4 years ago
- A dysfunctional programmer's guide to making things in Hoon.☆82Updated 5 years ago
- ☆110Updated 5 years ago
- An alternative to Urbit☆94Updated 7 years ago
- An Algebraic, Executable Ur Machine☆37Updated 6 years ago
- Hyper-Dimensional Brainfuck☆104Updated last year
- The Urbit docs☆119Updated 3 years ago
- ~talkbot, the one and only.☆12Updated 7 years ago
- The web interface for your urbit.☆14Updated 7 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- ☆19Updated 9 years ago
- The programming language that defies the laws of physics☆23Updated 7 years ago
- things that don't deserve their own repo☆64Updated 3 weeks ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Noether programming language☆127Updated 8 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The Nomyx game☆84Updated last year
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- DAYDREAMER goal-based agent☆77Updated 3 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆235Updated 3 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata☆21Updated last year
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Compiler for MFM programming language☆59Updated 3 months ago
- An Atom package assisting with the steep learning curve of the Hoon programming language.☆20Updated 8 years ago
- A modern syntax for the λ-calculus.☆412Updated 9 years ago
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week