urbit / arvo
☆110Updated 5 years ago
Related projects: ⓘ
- A dysfunctional programmer's guide to making things in Hoon.☆81Updated 4 years ago
- Urbit examples☆84Updated 3 years ago
- The Urbit docs☆115Updated 3 years ago
- A Hoon tutorial / adventure☆32Updated 8 years ago
- An application for interacting with Azimuth.☆96Updated 3 months ago
- An Algebraic, Executable Ur Machine☆36Updated 5 years ago
- Urbit: an operating function☆94Updated 7 years ago
- General-purpose PKI on Ethereum☆134Updated 9 months ago
- An Atom package assisting with the steep learning curve of the Hoon programming language.☆20Updated 7 years ago
- ☆42Updated last year
- ☆45Updated this week
- ☆19Updated this week
- An alternative to Urbit☆91Updated 6 years ago
- ~talkbot, the one and only.☆12Updated 6 years ago
- Pyramid is a language to create Ethereum smart contracts☆248Updated 6 years ago
- The web interface for your urbit.☆13Updated 6 years ago
- Simple package manager for urbit☆12Updated 6 years ago
- ☆61Updated 7 years ago
- ☆26Updated 6 years ago
- The source for urbit.org☆91Updated this week
- Produce a fractal from the Julia set on Urbit in Hoon.☆14Updated 4 years ago
- For version control of Ulex, the open source legal system☆79Updated 3 years ago
- An independent reimplementation of Ethereum in Haskell☆82Updated 9 years ago
- ☆16Updated 5 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- ☆19Updated 8 years ago
- Hoon and You - An FP Perspective☆10Updated 5 years ago
- An EVM code verification framework in Coq☆44Updated 7 years ago
- ☆77Updated last year
- Tic-Tac-Toe for Urbit☆15Updated last year