Stars
Super-fast/easy runtime validators and serializers via transformation
Collection of scripts for reversing Qualcomm Hexagon baseband / modem firmware
Turso is an in-process SQL database, compatible with SQLite.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
A project to digitalise results from physics into Lean.
Selenium Docker Test Runner: Automate web tests using Selenium WebDriver in Docker. Features TestNG, Gradle, and Chrome with automated ChromeDriver management. Supports headless testing, real-time …
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
a dead simple programming model for the cloud
Full-featured async (tokio-based) postgres connection pool (like r2d2)
The companion repo for the upcoming Total TypeScript book
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
Official inference library for Mistral models
PartyKit simplifies developing multiplayer applications
A collection of lock-free data structures written in standard C++11
RocksDB/LevelDB inspired key-value database in Go
Bootstrap Kubernetes the hard way. No scripts.
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, code-like database branching, and scale to zero.
Source code for the X Recommendation Algorithm
⚡️ CLI building blocks & framework for the TypeScript era.
TypeScript-first schema validation with static type inference