Stars
Training neural networks on Apple Neural Engine via reverse-engineered private APIs
It is said that, Ilya Sutskever gave John Carmack this reading list of ~ 30 research papers on deep learning.
Beads - A memory upgrade for your coding agent
A dependency injection based application framework for Go.
A collection of daily coding challenges designed to help you master idiomatic Go through deliberate, repetitive practice.
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.
Distributed Async Await — Durable Executions, Dead Simple
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.