Early draft of the web API exposing the MoLE architecture to the web.

Write Game Boy games in Rust

A collection of formalized statements of conjectures in Lean.

Chrome DevTools for coding agents

A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard topology

A state-of-the-art AI prompt compiler

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Learn Low Level Design (LLD) and prepare for interviews using free resources.

Practical patterns, starters & CLI tools for loop engineering with AI coding agents. Design systems that prompt and orchestrate agents (inspired by Addy Osmani and Boris Cherny). Includes loop-audi…

Official code base for LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels

official code for "Large Language Models as Optimizers"

The Lean Computer Science Library (CSLib)

True AI-Native Browser — a VLM reads the HTML and hallucinates the page.

Official implementation of the paper "Length Value Model: Pretraining Value Model for Scalable Length Prediction and Control"

A framework for building, orchestrating and deploying AI agents and multi-agent workflows with support for Python and .NET.

A programming framework for agentic AI

💬 A proposal for a web API for prompting browser-provided language models

🪨 why use many token when few token do trick. Viral skill + proxy for coding agents that cuts 65% of tokens by talking like a caveman.

Building Open LLM Web Agents with Self-Evolving Online Curriculum RL

Official implementation of Hidden Decoding at Scale, scaling latent computation per token through multiple hidden streams while keeping the Transformer backbone fixed.

Storing long contexts in tiny caches with self-study

W3C AI Content Disclosure Community Group repository for drafts, issues, meeting minutes, and related materials.

Cross-Origin Storage (COS), a content-addressable browser cache that shares files across origins by hash, with k-anonymity-based availability gating to prevent cross-site tracking

Kimina Lean server (+ client SDK)

DFlash: Block Diffusion for Flash Speculative Decoding

🤖 WebMCP

[CVPR 2026] DiP: Taming Diffusion Models in Pixel Space

Official implementation of Fisher-Flow Matching (NeurIPS 2024).