bloom-lang / bud

Related projects: ⓘ

• aphyr / meangirls
  Convergent Replicated Data Types
  ☆650Updated 8 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆582Updated 4 months ago
• lasp-lang / lasp
  Prototype implementation of Lasp in Erlang.
  ☆892Updated 3 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,835Updated this week
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆397Updated 11 months ago
• AntidoteDB / antidote
  A planet scale, highly available, transactional database built on CRDT technology
  ☆832Updated last year
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆327Updated 6 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,041Updated 7 years ago
• puffnfresh / roy
  Small functional language that compiles to JavaScript.
  ☆834Updated 10 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 5 years ago
• rescrv / Consus
  Consus is a geo-replicated transactional key-value store.
  ☆226Updated 6 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆484Updated 2 weeks ago
• urweb / urweb
  The Ur/Web programming language
  ☆808Updated 3 months ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆304Updated 2 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆350Updated 6 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆241Updated 5 years ago
• basho / riak_core
  Distributed systems infrastructure used by Riak.
  ☆1,226Updated 7 months ago
• hwayne / learntla
  A TLA+ guide
  ☆278Updated 2 years ago
• rescrv / HyperDex
  HyperDex is a scalable, searchable key-value store
  ☆1,394Updated 4 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆634Updated 7 months ago
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆188Updated 2 years ago
• nathanmarz / cascalog
  Data processing on Hadoop without the hassle.
  ☆1,376Updated last year
• amber-smalltalk / amber
  An implementation of the Smalltalk language that runs on top of the JS runtime
  ☆783Updated 8 years ago
• UWSysLab / tapir
  TAPIR distributed transactional storage system
  ☆422Updated 3 years ago
• CorfuDB / CorfuDB
  A cluster consistency platform
  ☆639Updated this week
• janestreet / incremental
  A library for incremental computations
  ☆867Updated 3 weeks ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆458Updated this week
• trifork / erjang
  A JVM-based Erlang VM
  ☆725Updated 6 years ago
• BTrDB / btrdb-server
  Berkeley Tree Database (BTrDB) server
  ☆906Updated 3 years ago
• apavlo / h-store
  H-Store Distributed Main Memory OLTP Database System
  ☆564Updated 4 years ago