Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
☆71Jan 23, 2015Updated 11 years ago
Alternatives and similar repositories for ramp-sigmod2014-code
Users that are interested in ramp-sigmod2014-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- Reproduction code for Postgres BUG #13667☆18Jan 7, 2016Updated 10 years ago
- A Go library and CLI tool which simplifies calculation of Universal Scalability Law parameters given system measurements.☆30Jan 20, 2022Updated 4 years ago
- Carson is the butler from Downton Abbey. A fine butler indeed. Jenkins and Hudson suck arse. Carson will replace them for software projec…☆17May 6, 2014Updated 12 years ago
- FUSE filesystem for storing coredumps☆18Oct 22, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Reusable persistence layer for use with Basho's Riak☆15Jul 16, 2012Updated 14 years ago
- Source of paper “A critique of the CAP theorem”☆16Dec 14, 2015Updated 10 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Vagrant Cloud API wrapper for Ruby☆16Jul 21, 2026Updated 2 months ago
- An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.☆18Mar 16, 2013Updated 13 years ago
- Atomix Jepsen tests☆14Feb 7, 2017Updated 9 years ago
- ZMTP protocol in pure Erlang.☆23Jan 3, 2014Updated 12 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pattern library☆16Jan 2, 2016Updated 10 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Sep 2, 2020Updated 6 years ago
- Research code for Doppel, an in-memory key/value transactional store☆56Feb 13, 2015Updated 11 years ago
- [ABANDONED] Simple, fast actors for Scala.☆20May 16, 2010Updated 16 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆91Mar 12, 2016Updated 10 years ago
- The current backend of DBToaster, implemented in Scala.☆68Feb 14, 2022Updated 4 years ago
- Go wrapper for LMDB - OpenLDAP Lightning Memory-Mapped Database☆185Mar 4, 2018Updated 8 years ago
- Simulator for message passing protocols, supporting (really) unfair process scheduling and dropped messages☆53Jun 4, 2011Updated 15 years ago
- TLA+ specification of Flexible Paxos☆44Sep 14, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- The DB that's replicated, sharded and transactional.☆177Oct 31, 2015Updated 10 years ago
- ☆17Sep 26, 2013Updated 13 years ago
- Boundary's suite of concurrent scala utilities.☆69Oct 13, 2020Updated 5 years ago
- LMDBKit is a Objective-C wrapper for the OpenLDAP Lightning Memory-Mapped Database (LMDB)☆47Apr 17, 2014Updated 12 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Jan 31, 2016Updated 10 years ago
- Erlang DTrace consumer☆23May 26, 2017Updated 9 years ago
- Clojure Elasticsearch client (POC, outdated)☆16Oct 4, 2016Updated 10 years ago
- Layered Multiple Functional Aggregate Optimization☆17Oct 8, 2020Updated 6 years ago
- A curated collection of papers on streaming algorithms☆187Jul 27, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Key/Value database benchmark☆27Sep 28, 2019Updated 7 years ago
- Suite of universal indexes for Highly Repetitive Document Collections☆24May 14, 2020Updated 6 years ago
- A Go package which exposes health check results as expvars.☆15Jul 2, 2014Updated 12 years ago
- Quite fast jps/jstat☆25Oct 8, 2018Updated 8 years ago
- ☆12Nov 3, 2021Updated 4 years ago
- ☆29May 6, 2022Updated 4 years ago
- Optimal partitioning of Variable-Byte codes for better compression and fast decoding.☆17Nov 10, 2021Updated 4 years ago