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
  ☆653Updated 9 years ago
• lasp-lang / lasp
  Prototype implementation of Lasp in Erlang.
  ☆889Updated 4 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆601Updated 10 months ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 6 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆401Updated 2 weeks ago
• AntidoteDB / antidote
  A planet scale, highly available, transactional database built on CRDT technology
  ☆846Updated last year
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,874Updated this week
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,654Updated 6 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,052Updated 7 years ago
• rescrv / HyperDex
  HyperDex is a scalable, searchable key-value store
  ☆1,399Updated 10 months ago
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆331Updated 6 years ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,335Updated 2 weeks ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆431Updated 7 years ago
• BTrDB / btrdb-server
  Berkeley Tree Database (BTrDB) server
  ☆912Updated 3 years ago
• hydro-project / anna
  A low-latency, cloud-native KVS
  ☆700Updated 3 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 5 years ago
• jamii / imp
  Various experiments in relational programming
  ☆271Updated 3 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆187Updated 3 years ago
• CorfuDB / CorfuDB
  A cluster consistency platform
  ☆647Updated this week
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆489Updated last month
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,574Updated 9 years ago
• trifork / erjang
  A JVM-based Erlang VM
  ☆728Updated 6 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆313Updated 3 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆225Updated 6 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆354Updated 7 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,193Updated 6 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆519Updated 2 years ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆422Updated 4 years ago
• janestreet / incremental
  A library for incremental computations
  ☆901Updated 4 months ago