Stars
px0 is a review workbench and speed-first IDE built for AI-generated code. It turns your browser into a zero-latency console with native Git and GitHub integrations, instant search across massive c…
Postgres rewritten in Rust, now faster than Postgres and Clickhouse
Autolith is a self-modifiable general purpose Lisp AI agent
A from-scratch JavaScript engine in Rust — std only, zero deps, three tiers incl. an ARM64 JIT, 100% test262 (53,400/53,400)
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
Differential Dataflow in TypeScript
Collection of scripts for reversing Qualcomm Hexagon baseband / modem firmware
A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
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.