AI builders digest — monitors top AI builders on X and YouTube podcasts, remixes their content into digestible summaries. Follow builders, not influencers.

mac code — Claude Code, but it runs on your Mac for free. 35B AI agent at 30 tok/s via Apple Silicon flash-paging. $0/month.

The Generative UI framework

Agent observability and replay tooling for AI safety & interpretability research.

File-driven AI trading agent engine for crypto and securities markets

A memory OS that makes your OpenClaw agents more personal while saving tokens.

An equational theorem prover based on Knuth-Bendix completion

Use Garry Tan's exact Claude Code setup: 15 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

OpenViking is an open-source context database designed specifically for AI Agents(such as openclaw). OpenViking unifies the management of context (memory, resources, and skills) that Agents need th…

AI agents running research on single-GPU nanochat training automatically

Development at the speed of light

NVIDIA Inference Xfer Library (NIXL)

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Context cleaning for Claude Code — prune bloated sessions, protect Agent Teams from context loss, auto-guard with tiered pruning

Vera: a programming language designed for LLMs to write

Apache Airflow - A platform to programmatically author, schedule, and monitor workflows

Ouroboros — self-creating AI agent. Born Feb 16, 2026.

A tiny experimental language designed to be targeted by coding LLMs

The open source coding agent.

An ott-like DSL embedded in Lean.

An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.

A unifying framework for linear temporal logics in Lean

Typed effects API for OxCaml

Formalization of the proofs in the POPL 2026 paper Typing Strictness