Static @fit checks for ordinary TypeScript layout code

Move functions, types, and files around in a typescript project, while keeping imports happy.

Formal specification of a pure, functional subset of Python for scientific computing

A Copilot-CLI Plugin for F* and Related Tools

SWE-Together: Evaluating Coding Agents in Interactive User Sessions

Benchmark environment for evaluating vision-language models (VLMs) on popular video games!

A game where you are a computer's OS and you have to manage processes, memory and I/O events.

Push your work with pushwork.

Visual programming by chaining operations on data

the extensible, customizable, self-documenting, real-time multi-agent computing environment

bi-directional reactive programming

The agent that grows with you

Interactive live visualizer for gepa runs

Evaluating how well language models write prompts for other language models in various settings, including sub-calling, LM-as-a-judge, and others!

The World's First Unified Virtual Filesystem For AI Agents

Easy bindings between Lean and Python.

Chiasmus is an MCP server that gives language models access to formal verification

an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

Native space switching on macOS with no animation

Statistical analysis for LLM evaluations, from model and prompt comparisons to inference resilient to LLM judge bias, including at small sample sizes. All defaults battle-tested in Monte Carlo simu…

Fast, accurate & comprehensive text measurement & layout

Use WebDriver from the command line

A desktop app for using tldraw with local files.

A tiling layout engine for egui with drag-and-drop and resizing

surreal cellular automata

A relative time formatting library, with no code.