RhizomeDB / research
☆18Updated last year
Alternatives and similar repositories for research:
Users that are interested in research are comparing it to the libraries listed below
- ☆115Updated last year
- An open-source database inspired by Datomic☆30Updated last year
- Some CRDT implementations in Datalog☆14Updated 6 years ago
- The Fission Technical Whitepaper☆20Updated 2 years ago
- Go implementation of Rateless IBLTs.☆46Updated 5 months ago
- ☆44Updated 9 months ago
- Lisp implementation of Lurk.☆69Updated 4 months ago
- Thin wrapper around webnative for Elm.☆13Updated last year
- UCAN Invocation & Pipelining☆13Updated 5 months ago
- ☆68Updated 2 years ago
- ☆14Updated last year
- A pseudo-random deterministic merkle tree built on LMDB☆67Updated 9 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆209Updated 9 months ago
- Finite state machines as graphs☆59Updated 4 years ago
- Rust implementation of UCAN☆64Updated 5 months ago
- Specifications for the various new pieces of provenance tech☆13Updated 5 months ago
- IPFS wrapper for Haskell☆43Updated last year
- A Categorical View of Computation☆29Updated 3 months ago
- Libp2p bindings for Gerbil☆14Updated 2 years ago
- Fission CLI & server☆122Updated 11 months ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆36Updated last year
- Awesome datalog libraries, tools and resources☆59Updated 5 years ago
- 🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)☆20Updated 2 years ago
- AWAKE Protocol Specification☆34Updated last year
- Distributed Protocol Combinators☆13Updated 3 years ago
- User-Controlled Authorization Network (UCAN) tokens in go☆30Updated last week
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 3 months ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 8 months ago
- A content-addressable datastore for WebAssembly modules☆54Updated 4 months ago