RhizomeDB / research

Related projects: ⓘ

• RhizomeDB / rs-rhizome
  ☆107Updated 10 months ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆54Updated 4 months ago
• wnfs-wg / spec
  ☆39Updated 5 months ago
• argumentcomputer / lurk-lisp
  Lisp implementation of Lurk.
  ☆66Updated 2 weeks ago
• trvedata / move-op
  ☆25Updated 2 years ago
• ucan-wg / rs-ucan
  Rust implementation of UCAN
  ☆62Updated last month
• ucan-wg / invocation
  UCAN Invocation & Pipelining
  ☆12Updated last month
• ept / byzantine-eventual
  Byzantine Eventual Consistency
  ☆21Updated last year
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆203Updated 5 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆121Updated 3 years ago
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆20Updated 5 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆71Updated last year
• fission-codes / spec
  ☆11Updated last year
• ucan-wg / spec
  User Controlled Authorization Network (UCAN) Specification
  ☆190Updated last month
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆14Updated 2 years ago
• anoma / geb
  A Categorical View of Computation
  ☆28Updated this week
• domodwyer / merkle-search-tree
  Efficient state-based CRDT replication and anti-entropy
  ☆47Updated last month
• wnfs-wg / rs-wnfs
  Rust implementation of the WebNative FileSystem (WNFS) specification
  ☆143Updated 3 weeks ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 4 months ago
• subconsciousnetwork / subconscious
  ☆8Updated 5 months ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated last year
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 4 months ago
• ucan-wg / awake
  AWAKE Protocol Specification
  ☆34Updated last year
• lord / crudite
  it's like a blockchain but for collaborative editing of json documents
  ☆40Updated 4 years ago
• informalsystems / unclog
  Unclog your changelog
  ☆36Updated last week
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆122Updated 2 years ago
• docknetwork / rify
  RDF fact prover and proof validator operating on simple conjunctive rules.
  ☆9Updated last year
• zcash / incrementalmerkletree
  An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses
  ☆41Updated last week
• ipvm-wg / spec
  High Level IPVM Spec
  ☆51Updated last year