Stars
ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
A python module to repair invalid JSON from LLMs
Techniques and numbers for estimating system's performance from first-principles
nsync is a C library that exports various synchronization primitives, such as mutexes
Interactive playground for exploring and sharing TLA+ specifications in the browser.
基于无障碍，高级选择器，订阅规则的自定义屏幕点击 Android 应用 | An Android APP with custom screen tapping based on Accessibility, Advanced Selectors, and Subscription Rules
A MySQL-compatible relational database with a storage agnostic query engine. Implemented in pure Go.
🚀🀄️ A fast and strong AI for riichi mahjong, powered by Rust and deep reinforcement learning.
Eliminates delay when activating caps lock on macOS OSX
MySQL-compatible HTAP database with Git for Data, vector search, and fulltext search. Cloud-native, AI-ready
🚀 A very efficient Texas Holdem GTO solver
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translatio…
Productive, portable, and performant GPU programming in Python.
A free and strong UCI chess engine
Specifying and Verfying concensus algorithms in PolarDB using TLA+
Utility to convert between various subscription format
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
Go library and program to access your Authy TOTP secrets.