A short and simple Python script that converts a Notability note strokes into an SVG wrapped HTML file.

A machine tool for agents: a verified runtime for systems agents build.

Example MongoDB proxy in Python

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

Black-box transactional safety checker based on cycle detection

A cloud native embedded storage engine built on object storage.

A CLI text-to-speech tool using the Kokoro model, supporting multiple languages, voices (with blending), and various input formats including EPUB books and PDF documents.

A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.

Interactive explorations of consistency models in shared-memory and message-passing distributed systems.

TLA+ and Alloy specs of database isolation

A collection of "git for data" snippets, models, resources

MongoDB Adaptation of PyTPCC

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

A Python-like programming language for testing and experimenting with concurrent programs.

🔬 A fast, interactive web-based viewer for performance profiles.

A bidirectional manipulation editor for diagramming

RocksDB/LevelDB inspired key-value database in Go

Pushshift API

Drive a browser with GPT-3

Access large language models from the command-line

Formal specification of PBFT in TLA+

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.…

IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed…

Sonoma Aerials Downloader

A coding agent for open models like Kimi K3