Alternatives and similar repositories for research

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

• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆32Updated 2 years ago
• RhizomeDB / rs-rhizome
  ☆118Updated 2 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• fission-codes / whitepaper
  The Fission Technical Whitepaper
  ☆22Updated 3 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆231Updated last year
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆214Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated this week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆82Updated 11 months ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆64Updated 2 months ago
• lens-vm / spec
  LensVM specifications and ABI definition
  ☆12Updated 4 years ago
• fission-codes / fission
  Fission CLI & server
  ☆119Updated last year
• ccorcos / datalog-prototype
  A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.
  ☆17Updated 5 years ago
• kgrgreer / foam3
  FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)
  ☆49Updated this week
• ucan-wg / rs-ucan
  Rust implementation of UCAN
  ☆75Updated this week
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• mindbeam / mindbase
  A database for convergent intersubjectivity
  ☆21Updated 3 years ago
• scality / elmerfs
  ☆105Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 2 weeks ago
• tekacs / xtdb-ts
  A TypeScript API client to XTDB
  ☆13Updated 4 years ago
• sunblaze-ucb / coq-smart-contract
  ☆28Updated 9 years ago
• khinsen / science-in-the-digital-era
  A digital garden on science in the era of computers and networks (moved to https://codeberg.org/khinsen/science-in-the-digital-era)
  ☆11Updated 2 years ago
• aherlihy / carac
  A Datalog execution engine for Scala
  ☆15Updated 5 months ago
• Actyx / cambria
  ☆37Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆79Updated 7 months ago