This repo contains the reference materials to my RICON 2014 talk
☆33Jul 17, 2017Updated 8 years ago
Alternatives and similar repositories for RICON2014
Users that are interested in RICON2014 are comparing it to the libraries listed below
Sorting:
- Fast linearizability checker☆67Jun 16, 2015Updated 10 years ago
- A High-Performance Riak Client for Go☆13Sep 22, 2014Updated 11 years ago
- Test data integrity by comparing against an Oracle running in parallel☆32Updated this week
- A Trie data structure that allows for fuzzy string matching☆11May 24, 2015Updated 10 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Mar 12, 2016Updated 9 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 7 years ago
- Accompanying Repository for The Verification of a Distributed System Talk☆191Oct 14, 2016Updated 9 years ago
- A Haskell library for declarative programming over eventually consistent store (Cassandra).☆18Apr 17, 2018Updated 7 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
- Images and links to references for Kafka Fault Tree Analysis talks by Andrey Falko☆22Sep 12, 2021Updated 4 years ago
- ☆29May 6, 2022Updated 3 years ago
- CS 733 assignments☆25Apr 23, 2015Updated 10 years ago
- wyhash fast non-cryptographic string hash☆37May 12, 2020Updated 5 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 7 years ago
- Fast 64 bit evolved hash.☆34Apr 4, 2017Updated 8 years ago
- RE2's C and Lua interface☆35Oct 16, 2024Updated last year
- Go implementation of SIMD-BP128 integer encoding and decoding☆31Apr 8, 2022Updated 3 years ago
- An implementation of LDFI☆128Nov 4, 2018Updated 7 years ago
- specify attributes within an ActiveRecord model that can be set but not modified☆24Jul 18, 2011Updated 14 years ago
- Reference materials to this talk☆30Dec 8, 2016Updated 9 years ago
- ☆33Nov 23, 2014Updated 11 years ago
- Simplified Moment Sketch Implemntation☆36Jan 22, 2019Updated 7 years ago
- TLA+ specification of Flexible Paxos☆42Sep 29, 2023Updated 2 years ago
- Multi-probe consistent hashing☆42Aug 19, 2020Updated 5 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- EventMachine based HTTP Request interface☆18Feb 17, 2009Updated 17 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- Personal reading list/reference re: TLA+☆90Feb 13, 2018Updated 8 years ago
- testbed for different SIMD implementations for set intersection and set union☆41Jan 29, 2020Updated 6 years ago
- ☆11Updated this week
- ☆18Aug 15, 2015Updated 10 years ago
- An AngularJS module handling the l20n localization library.☆34Feb 28, 2023Updated 3 years ago
- A fluent API for generating Java byte code☆14Apr 4, 2013Updated 12 years ago
- A simple PostgreSQL data migration tool☆19Oct 7, 2018Updated 7 years ago
- Go implementation of the Swagger 2.0 specification☆12Feb 4, 2017Updated 9 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago
- Go HTTP handler for serving swagger-ui☆10May 2, 2016Updated 9 years ago