An experimental implementation of compiler-driven automatic sharding of models across a given device mesh.

explore token trajectory trees on instruct and base models

An MCP implementation for Selenium WebDriver

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Browser extension to enable MCP in claude.ai

[COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents

Undetected version of the Playwright testing and automation library.

Enhanced ChatGPT Clone: Features Agents, MCP, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1, GPT-5, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching, message…

Claude Desktop for Debian-based Linux distributions

Your agent in your terminal, equipped with local tools: writes code, uses the terminal, browses the web, vision.

Magic to turn Cursor/Windsurf as 90% of Devin

A benchmark to evaluate language models on questions I've previously asked them to solve.

Lightweight framework for easy and efficient code generation

Some utility functions to help make working on scratch space easier

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Display and control your Android device

A textbook on informal homotopy type theory

HTMLPurifier for Objective-C: Standards-Compliant HTML Filtering

The PHP Interpreter

HTML files for my personal website

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Beautiful, interactive visualizations of logical inference

The Monad Reader: Issue 20

Transcript of "Inventing on Principle", CUSEC 2012 given by Bret Victor

A minimalistic text-based status bar

Mirror of packages-containers repository. DO NOT SUBMIT PULL REQUESTS HERE

The PHP Interpreter

A multi-protocol curses IM client.