RhizomeDB / researchLinks
☆18Updated last year
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- ☆113Updated last year
- Lisp implementation of Lurk.☆71Updated 9 months ago
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated last year
- An open-source database inspired by Datomic☆30Updated last year
- Rust implementation of UCAN☆67Updated this week
- A pseudo-random deterministic merkle tree built on LMDB☆73Updated 2 months ago
- The Fission Technical Whitepaper☆21Updated 2 years ago
- AWAKE Protocol Specification☆35Updated last year
- ☆47Updated last year
- LensVM specifications and ABI definition☆12Updated 4 years ago
- A database for convergent intersubjectivity☆22Updated 2 years ago
- A Categorical View of Computation☆32Updated 7 months ago
- 🗝️🐝✨ Rust workspace for Keyhive and related crates☆78Updated 3 weeks ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- UCAN Invocation & Pipelining☆14Updated 9 months ago
- A Jepsen Test for TigerBeetle.☆16Updated 2 years ago
- Go implementation of Rateless IBLTs.☆55Updated 10 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Reference implementation of Knowledge Server Protocol (KSP)☆51Updated 5 years ago
- ☆69Updated 2 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 4 years ago
- ☆31Updated 3 years ago
- Libp2p bindings for Gerbil☆14Updated 3 years ago
- ☆9Updated last year
- Hash consistent search trees.☆93Updated last year
- A WASM VM written in Elixir☆19Updated 5 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- A Datalog execution engine for Scala☆10Updated 2 months ago
- The cryptographic signature multifomat☆13Updated 3 weeks ago