Alternatives and similar repositories for research

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

• RhizomeDB / rs-rhizome
  ☆116Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated 2 years ago
• lurk-lab / lurk-lisp
  Lisp implementation of Lurk.
  ☆78Updated last year
• lens-vm / spec
  LensVM specifications and ABI definition
  ☆12Updated 4 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• fission-codes / fission
  Fission CLI & server
  ☆119Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated 11 months ago
• wnfs-wg / spec
  ☆48Updated last year
• jaredly / unison.rs
  ☆71Updated 3 years ago
• Glow-Lang / glow
  The Glow language for Blockchain Decentralized Applications.
  ☆60Updated 3 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• fission-codes / whitepaper
  The Fission Technical Whitepaper
  ☆22Updated 3 years ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆78Updated 9 months ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆17Updated 5 years ago
• oddsdk / ts-odd
  An SDK for building apps with decentralized identity and storage.
  ☆180Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 5 months ago
• vyzo / gerbil-libp2p
  Libp2p bindings for Gerbil
  ☆16Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• tekacs / xtdb-ts
  A TypeScript API client to XTDB
  ☆12Updated 3 years ago
• agoric-labs / jessica
  Jessica - Jessie (secure distributed Javascript) Compiler Architecture
  ☆36Updated 2 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• inkandswitch / farm
  🌱 Grow delightful software
  ☆271Updated 6 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆149Updated last year
• igarnier / ocaml-geth
  Strongly-typed OCaml overlay for Go-Ethereum (geth)
  ☆11Updated 5 years ago
• mindbeam / mindbase
  A database for convergent intersubjectivity
  ☆21Updated 3 years ago
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago