Tiny Transactions on Computer Systems (TinyToCS) Site
☆32Mar 8, 2016Updated 9 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:
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- ☆16Sep 22, 2014Updated 11 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆12Aug 2, 2024Updated last year
- RHEL for Edge Downstream CI and Test☆11Updated this week
- Plugin for autocomplete using trix editor☆17Aug 18, 2017Updated 8 years ago
- Modular pipeline based on the KernelCI API☆11Updated this week
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- ☆12Jul 10, 2023Updated 2 years ago
- A minimal provisioning agent designed for Azure Linux VMs.☆15Feb 18, 2026Updated last week
- Material Web Components - Material Design implemented as Web Components☆10Sep 23, 2019Updated 6 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Jan 23, 2015Updated 11 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- Many queue implementations with a test-suite☆11May 4, 2022Updated 3 years ago
- A series of questions designed to help an engineering manager assess a team.☆11Feb 16, 2021Updated 5 years ago
- dockerized smee: https://smee.io/☆10Jul 1, 2024Updated last year
- Utilities for testing Kubernetes installations☆12Jan 16, 2018Updated 8 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- The Dining Philosophers problem, in Rust☆28Jan 8, 2019Updated 7 years ago
- ☆11Aug 1, 2021Updated 4 years ago
- A simple stateful operator for managing creation, backup, and restore of PostgreSQL clusters.☆13Apr 10, 2019Updated 6 years ago
- An improved version of `w`☆14Mar 16, 2017Updated 8 years ago
- Metric tree demo☆14Oct 3, 2014Updated 11 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Dec 21, 2018Updated 7 years ago
- This library has moved to https://github.com/googleapis/google-cloud-python/tree/main/packages/google-cloud-artifact-registry☆11Jun 6, 2023Updated 2 years ago
- profanity — word filter service☆13Oct 29, 2015Updated 10 years ago
- a type inferencer and indexer for Python☆11Jul 3, 2014Updated 11 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Simple Python to verbose English translator.☆16Jan 18, 2014Updated 12 years ago
- Reverse dependency lister for Go☆12Feb 10, 2014Updated 12 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
- 8-bit virtual computer☆13Aug 26, 2019Updated 6 years ago
- CTF collaboration tool for teams☆10Nov 10, 2017Updated 8 years ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year