Lists (1)
Starred repositories
VS Code extension that discovers and categorizes ORM operations in a codebase with interactive views, filters, and annotations.
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.…
Japanese conjugation practice web app
An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs
A native Rust library for Delta Lake, with bindings into Python
A native Delta implementation for integration with any query engine
A local-first personal finance app
(Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.
A CRDT MVR that supports Undo and Redo.
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
A distributed database benchmark based on TAO's workload
A course in reinforcement learning in the wild
Black-box transactional safety checker based on cycle detection
A static analysis security vulnerability scanner for Ruby on Rails applications
GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
Distributed transactional key-value database, originally created to complement TiDB
FoundationDB - the open source, distributed, transactional key-value store
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
Educational blog posts for Rust beginners
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.