Alternatives and similar repositories for research

Users that are interested in research are comparing it to the libraries listed below

• RhizomeDB / rs-rhizome
  ☆113Updated last year
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• fission-codes / fission
  Fission CLI & server
  ☆118Updated last year
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 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…
  ☆74Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 7 years ago
• wnfs-wg / spec
  ☆48Updated last year
• oddsdk / ts-odd
  An SDK for building apps with decentralized identity and storage.
  ☆179Updated last year
• fission-codes / whitepaper
  The Fission Technical Whitepaper
  ☆21Updated 3 years ago
• fogfish / datalog
  simplified query engine based on logic programming paradigm
  ☆154Updated 6 years ago
• lens-vm / spec
  LensVM specifications and ABI definition
  ☆12Updated 4 years ago
• ucan-wg / rs-ucan
  Rust implementation of UCAN
  ☆71Updated 3 weeks ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆222Updated last year
• ucan-wg / spec
  User Controlled Authorization Network (UCAN) Specification
  ☆254Updated 2 months ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆15Updated 3 years ago
• anoma / geb
  A Categorical View of Computation
  ☆33Updated last week
• subconsciousnetwork / subconscious
  ☆12Updated last year
• mindbeam / mindbase
  A database for convergent intersubjectivity
  ☆22Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated 2 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆128Updated 4 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆76Updated 6 months ago
• fission-codes / webnative-elm
  Thin wrapper around webnative for Elm.
  ☆13Updated 2 years ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated last month
• wnfs-wg / rs-wnfs
  Rust implementation of the WebNative FileSystem (WNFS) specification
  ☆164Updated last week
• jaredly / unison.rs
  ☆70Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago