urbit / arvoLinks
☆110Updated 6 years ago
Alternatives and similar repositories for arvo
Users that are interested in arvo are comparing it to the libraries listed below
Sorting:
- A dysfunctional programmer's guide to making things in Hoon.☆82Updated 5 years ago
- Urbit examples☆87Updated 4 years ago
- The Urbit docs☆118Updated 4 years ago
- Urbit: an operating function☆96Updated 8 years ago
- A Hoon tutorial / adventure☆31Updated 9 years ago
- An application for interacting with Azimuth.☆105Updated 3 weeks ago
- An alternative to Urbit☆93Updated 8 years ago
- idni.org☆75Updated 8 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 8 years ago
- ~talkbot, the one and only.☆12Updated 7 years ago
- Simple package manager for urbit☆12Updated 7 years ago
- ☆61Updated 8 years ago
- ☆89Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- ☆44Updated 2 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- Minimal code-interchange format☆193Updated 5 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- The web interface for your urbit.☆14Updated 7 years ago
- ☆27Updated 7 years ago
- Ship name utilities for Urbit☆11Updated 5 years ago
- ☆19Updated 10 years ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- Rchain reference material☆52Updated 3 years ago
- General-purpose PKI on Ethereum☆139Updated 2 years ago
- A collection of 🔥 resources & research on cryptoeconomics☆27Updated 7 years ago
- Language Design Community for the EVM: Intro and Resources☆133Updated 8 years ago
- ☆77Updated 3 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago