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
Sorting:
- Better code coverage tool for JavaScript.☆88May 21, 2020Updated 5 years ago
- Layered Multiple Functional Aggregate Optimization☆17Oct 8, 2020Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- One of the first go libraries, targets the old Twitter API which no longer works☆50Oct 4, 2012Updated 13 years ago
- Nitro Web Application Framework☆74Aug 6, 2010Updated 15 years ago
- ☆20May 30, 2012Updated 13 years ago
- A project which does the ColBERT pruning based on the LP or L1 norm☆19Jun 11, 2025Updated 8 months ago
- Repository for Berkeley's class on Programming the Cloud☆60Sep 2, 2020Updated 5 years ago
- Muppet☆128May 7, 2021Updated 4 years ago
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.☆18Mar 16, 2013Updated 12 years ago
- HTTP request spewer / load generator☆52May 4, 2020Updated 5 years ago
- The current backend of DBToaster, implemented in Scala.☆66Feb 14, 2022Updated 4 years ago
- TokuDB for MariaDB 5.5☆84May 4, 2015Updated 10 years ago
- C++ source code for the Dynamic Index algorithm proposed in "Efficient Similarity Computation for Collaborative Filtering in Dynamic Envi…☆16Jul 15, 2019Updated 6 years ago
- Stubble: A front end starter kit☆133Aug 13, 2015Updated 10 years ago
- monner☆269Oct 23, 2020Updated 5 years ago
- ☆20Aug 4, 2022Updated 3 years ago
- ICFP Programming Contest 2011 repository☆24Jul 1, 2011Updated 14 years ago
- WebGL based AJAX videogame -- with MMO, Minecraft and Roguelike elements.☆25Mar 27, 2011Updated 14 years ago
- A mailbox based distributed computing library☆83May 9, 2014Updated 11 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- ☆44Aug 19, 2021Updated 4 years ago
- Javascript Code Injection for Debugging☆20Nov 11, 2023Updated 2 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 10 years ago
- A fork of Couchbase ForestDB project, aiming at making it simple and generic☆18Apr 3, 2025Updated 10 months ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- A simple database optimized for returning results by custom scoring functions.☆21Mar 29, 2016Updated 9 years ago
- the TCPdump network dissector. now moved to:☆84Jun 11, 2021Updated 4 years ago
- run a command until a condition is met, then run another one!☆130Oct 9, 2014Updated 11 years ago
- ☆20Jan 8, 2023Updated 3 years ago
- TCP/IP based server for HyperText☆34Feb 26, 2012Updated 14 years ago
- ☆29May 6, 2022Updated 3 years ago
- A nagios plugin for which lets you check jenkins jobs according to various criteria.☆42May 10, 2022Updated 3 years ago
- BWT Text Indexing Library: a set of tools to work with BWT-based text indexes☆25Apr 25, 2022Updated 3 years ago
- ☆74Mar 17, 2019Updated 6 years ago
- Mibew Messenger☆99Jun 26, 2016Updated 9 years ago
- ☆27Dec 10, 2015Updated 10 years ago
- An event-driven framework☆105Aug 6, 2014Updated 11 years ago