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
  ☆659Updated 9 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆607Updated 3 months ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆410Updated 7 months ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,900Updated 2 weeks ago
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆333Updated 7 years ago
• rescrv / HyperDex
  HyperDex is a scalable, searchable key-value store
  ☆1,400Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆402Updated 3 years ago
• damelang / nile
  ☆724Updated 5 years ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆433Updated 8 years ago
• hwayne / learntla
  A TLA+ guide
  ☆278Updated 3 years ago
• kevinlawler / kona
  Open-source implementation of the K programming language
  ☆1,394Updated 2 years ago
• amber-smalltalk / amber
  An implementation of the Smalltalk language that runs on top of the JS runtime
  ☆782Updated 9 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆225Updated 7 years ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆186Updated 3 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• bakkdoor / fancy
  Fancy is a dynamic, object-oriented programming language inspired by Smalltalk, Ruby, Io and Erlang that runs on the Rubinius VM.
  ☆261Updated 11 years ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,655Updated 7 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆361Updated 7 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,589Updated 10 years ago
• morganstanley / hobbes
  A language and an embedded JIT compiler
  ☆1,183Updated 5 months ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆84Updated 10 years ago
• trifork / erjang
  A JVM-based Erlang VM
  ☆736Updated 7 years ago
• alexwarth / ometa-js
  OMeta for JavaScript
  ☆366Updated 11 years ago
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆841Updated 11 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆674Updated 5 months ago
• nathanmarz / elephantdb
  Distributed database specialized in exporting key/value data from Hadoop
  ☆559Updated 11 years ago
• nathanmarz / cascalog
  Data processing on Hadoop without the hassle.
  ☆1,373Updated 2 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,455Updated 2 years ago
• datacrypt-project / hitchhiker-tree
  Functional, persistent, off-heap, high performance data structure
  ☆1,202Updated 7 years ago