Stars
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Your agent in your terminal, equipped with local tools: writes code, uses the terminal, browses the web, vision.
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…
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
An experimental implementation of compiler-driven automatic sharding of models across a given device mesh.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Claude Desktop for Debian-based Linux distributions
Undetected version of the Playwright testing and automation library.
An MCP implementation for Selenium WebDriver
Standards compliant HTML filter written in PHP
[COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents
Browser extension to enable MCP in claude.ai
explore token trajectory trees on instruct and base models
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
ezyang / ldap-haskell
Forked from jgoerzen/ldap-haskellBindings for LDAP [Haskell]
Beautiful, interactive visualizations of logical inference
Mirror of packages-containers repository. DO NOT SUBMIT PULL REQUESTS HERE. Use https://github.com/haskell/containers instead.
A quick and efficient way of pushing changed files to a website via FTP
Wrong project! You should head over to http://github.com/sshuttle/sshuttle