patrickpclee / codfs
CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery
☆10Updated 9 years ago
Related projects: ⓘ
- Software Transactional Objects☆20Updated 6 years ago
- Userspace file-system using the TokuFT fractal tree library☆23Updated 3 years ago
- A programming language☆76Updated 11 years ago
- A distributed key-value cache with builtin materialized views.☆27Updated 9 years ago
- The SprayList data structure☆30Updated 7 years ago
- File-system fault injection framework for distributed storage systems☆61Updated 5 years ago
- evaluation using f-algebras☆22Updated 9 years ago
- A proof assistant.☆12Updated 8 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 11 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- A very fast URI parser in C.☆27Updated 6 years ago
- Wannabe Main Memory Database and More☆53Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Eblob is an append-only low-level IO library, which saves data in blob files. Created as low-level backend for elliptics☆104Updated 5 years ago
- Meld virtual machine.☆29Updated 8 years ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- EnnoDB☆20Updated 8 years ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- Feed-forward Bloom filters☆52Updated 13 years ago
- Yesquel: scalable SQL storage for Web apps☆42Updated 7 years ago
- Fast time calls from user space.☆11Updated 8 years ago
- Benchmark program for ForestDB, Couchstore, LevelDB, RocksDB, and WiredTiger☆34Updated 4 years ago
- Implementation of Alexander A. Stepanov inverted Index Compression algorithms☆21Updated 8 years ago
- TLA+ specification of Flexible Paxos☆38Updated 11 months ago
- STM (Software Transactional Memory) implementation in C, based on memory-mapping.☆59Updated 14 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Algorithms to compress sorted arrays of integers☆18Updated 10 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago