State-of-the-art TTS model under 25MB 😻

Notes written while consulting for the Higher Order Company

A collection of formalized statements of conjectures in Lean.

A Super Fast Optimization Library

A compiler for homomorphic encryption

SCIP - Solving Constraint Integer Programs

Sequential object-oriented simPlex

Turn any glasses into AI-powered smart glasses

Instant voice cloning by MIT and MyShell. Audio foundation model.

An extremely fast Python package and project manager, written in Rust.

Your agent in your terminal, equipped with local tools: writes code, uses the terminal, browses the web, vision.

CLI platform to experiment with codegen. Precursor to: https://lovable.dev

LLM inference in C/C++

Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats

Robust Speech Recognition via Large-Scale Weak Supervision

min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch

mold: A Modern Linker 🦠

A GDB/MI Visual Studio Code Debug Adapter

Tools for configuring and interacting with rr.

Linear optimization software

GFPGAN aims at developing Practical Algorithms for Real-world Face Restoration.

Pyjion - A JIT for Python based upon CoreCLR

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

Penrose Tiling SVG generation

CUE has moved to https://github.com/cue-lang/cue

Spoooooky!

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Common Expression Language -- specification and binary representation

Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…

Public repository of the QuickJS Javascript Engine.