Stars
signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.
verification toolchain for TypeScript (Tech Preview)
slime is an LLM post-training framework for RL Scaling.
Invidious is an alternative front-end to YouTube
Database-Backed Durable Python Workflows
A Python DSL to write Nvidia PTX for Hopper and Blackwell in JAX and PyTorch
OpenClaw-RL: Train any agent simply by talking
Full-stack AI app generator — FastAPI + Next.js with AI Agents, RAG, streaming, auth, and 20+ integrations out of the box.
Tools for experimenting diff "slider" heuristics
Fast, accurate & comprehensive text measurement & layout
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
Autonomous experiment loop extension for pi
Compile programs directly into transformer weights. Includes a 2D convex-hull KV cache with O(log n) inference.
A pure-Python implementation of the Nvidia CuTe layout algebra intended to be approachable and easy to learn.
A unified interface for AI in your terminal.
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
AI agents running research on single-GPU nanochat training automatically
Two AI agents. One filesystem. Zero humans. We ran this experiment twice.
Installable GitHub library of 1,500+ agentic skills for Claude Code, Cursor, Codex CLI, Gemini CLI, Antigravity, and more. Includes specialized plugins, installer CLI, bundles, workflows, and offic…
Slap your MacBook, it yells back. Uses Apple Silicon accelerometer via IOKit HID.
Dafny verifies proofs; claimcheck confirms intent.
[ICML 2026] Reproduction package for AutoBaxBuilder, a framework to build new BaxBench tasks from scratch
Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
Wave: Python Domain-Specific Language for High Performance Machine Learning
A minimal, secure Python interpreter written in Rust for use by AI