Tiny Transactions on Computer Systems (TinyToCS) Site
☆32Mar 8, 2016Updated 10 years ago
Alternatives and similar repositories for tinytocs-site
Users that are interested in tinytocs-site are comparing it to the libraries listed below
Sorting:
- Material Web Components - Material Design implemented as Web Components☆10Sep 23, 2019Updated 6 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- Code and Presentation slides for Teaching the Elephant to Read☆17Apr 19, 2016Updated 9 years ago
- Haskell Sendgrid v3 API Library☆15May 2, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- folsom based metrics via HTTP and JSON☆37Nov 6, 2013Updated 12 years ago
- ☆11Jan 18, 2012Updated 14 years ago
- Reduced on-disk Suffix Array☆22Oct 9, 2013Updated 12 years ago
- A persistent queue implemented in Go.☆29Dec 31, 2021Updated 4 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Aug 12, 2015Updated 10 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- balloon-Consuming Linked Data☆17Mar 9, 2016Updated 10 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Generate QR codes in UNIX way☆12Aug 5, 2019Updated 6 years ago
- Maliciously-Secure Multi-Party Computation (MPC) Engine using Authenticated Garbling☆33Mar 11, 2026Updated last week
- Rust finite field library with fixed size multi-word values☆18Mar 1, 2026Updated 2 weeks ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Jan 23, 2015Updated 11 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- Easy handling of memory-mapped files☆22Mar 28, 2014Updated 11 years ago
- Sancho McCann's PhD Thesis Research Code☆25Oct 12, 2017Updated 8 years ago
- GPU model checker☆13Apr 17, 2019Updated 6 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Slides + code for my talk on Record Linking at Clojure/conj 2019☆30Nov 25, 2019Updated 6 years ago
- SUccinct Retrieval Framework☆21Jan 24, 2016Updated 10 years ago
- Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDA…☆10Oct 22, 2016Updated 9 years ago
- Reverse dependency lister for Go☆12Feb 10, 2014Updated 12 years ago
- Sapphire source code☆11Nov 17, 2017Updated 8 years ago
- Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)☆60Oct 2, 2014Updated 11 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Perfect Hash Functions☆18Feb 27, 2015Updated 11 years ago
- Querypoint Debugging Prototype☆43Feb 8, 2019Updated 7 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- Durable dead simple queue that allows zero copy semantics. Durable under failure!☆18Dec 2, 2015Updated 10 years ago
- profanity — word filter service☆13Oct 29, 2015Updated 10 years ago
- DataScience intro with Go for the JDEV-2017☆10Nov 16, 2017Updated 8 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago