🧱 easy and fast microVMs for running untrusted workloads

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

The open source coding agent.

A VSCode extension to use Openai/Ollama/Anthropic/Gemini API Providers in GitHub Copilot Chat

Pick DeepSeek V4 from the Copilot Chat model picker — and keep everything else Copilot already gives you.

A fast, helpful, and open-source document parser

Typescript wrapper for the PDFium library, works in browser and node.js

Tree-sitter grammar for the Lean programming language

Scientific computing in Lean 4

Lean 4 theorem proving skill and workflow pack for AI coding agents

A collection of optimization problems in mathematics

The math library of Lean 4

Formalization of exchangeability and three proofs of de Finetti's theorem in Lean 4, following Probabilistic Symmetries and Invariance Principles by Olav Kallenberg

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Construction of a Brownian Motion in Lean

Lean formalization of the Kolmogorov extension theorem

Central limit theorem in Lean

Advanced vm/sandbox for Node.js

QuickJS, the Next Generation: a mighty JavaScript engine

Safely execute untrusted Javascript in your Javascript, and execute synchronous code that uses async functions

CLI for common Playwright actions. Record and generate Playwright code, inspect selectors and take screenshots.

Agents and workflow for GitHub Copilot

A modern PDF library for TypeScript. Parse, modify, and generate PDFs with a clean, intuitive API.

The Wado Programming Language

VS Code extension for the Lean 4 programming language and theorem prover

Lean 4 programming language and theorem prover