Alternatives and similar repositories for bud

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

• aphyr / meangirls
  Convergent Replicated Data Types
  ☆656Updated 9 years ago
• lasp-lang / lasp
  Prototype implementation of Lasp in Erlang.
  ☆890Updated 4 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆225Updated 7 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated last year
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆403Updated 3 months ago
• urweb / urweb
  The Ur/Web programming language
  ☆816Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,886Updated last week
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,580Updated 9 years ago
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,170Updated 2 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆171Updated 2 weeks ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• AntidoteDB / antidote
  A planet scale, highly available, transactional database built on CRDT technology
  ☆853Updated 2 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆323Updated 3 years ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,653Updated 6 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆361Updated 7 years ago
• nathanmarz / elephantdb
  Distributed database specialized in exporting key/value data from Hadoop
  ☆559Updated 10 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆251Updated 6 years ago
• damelang / nile
  ☆722Updated 5 years ago
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆840Updated 11 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,197Updated 6 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 3 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆667Updated last month
• pikatchu / LinearML
  Functional language for parallel programming
  ☆433Updated 8 years ago
• kadena-io / juno
  Smart Contracts Running on a BFT Hardened Raft
  ☆454Updated 3 years ago
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆331Updated 6 years ago
• rescrv / HyperDex
  HyperDex is a scalable, searchable key-value store
  ☆1,399Updated last year
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆358Updated 7 years ago