jameshfisher / tlaplus

Related projects: ⓘ

• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 7 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆57Updated 9 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 2 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆81Updated 12 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 11 months ago
• bringhurst / tlaplus
  ☆27Updated 10 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆72Updated 9 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 13 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 2 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• palvaro / CMPS290S-Winter16
  Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models
  ☆51Updated 7 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 9 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 7 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 11 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• parlarjb / tla_workshop
  ☆22Updated 5 years ago
• tlaplus / v2-tlapm
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• kompics / kompics-scala
  A Scala DSL for the Kompics framework
  ☆20Updated 2 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆136Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆65Updated 9 years ago
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆59Updated 3 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆49Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• slfritchie / msgdropsim
  Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages
  ☆52Updated 13 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 2 years ago