EAT: Evolving Agent Teams (NeurIPS'26). A supervisor agent evolves teams of coding agents for long-running optimization tasks.

Neovim support for the Lean theorem prover

Lore is a next-generation, open source version control system

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Find source context and trace calls across languages in Claude Code, Codex and other MCP agents.

An Optimizer for Nvidia Compilers.

Batched square compact-Householder QR factorization.

fheroes2 is a recreation of Heroes of Might and Magic II game engine

Compact and Agent-Native MoE Training System

Main repository of SageMath

Koka language compiler and interpreter

Machine-learning models for VCMI (Heroes of Might and Magic III).

GPU accelerated decision optimization

Perplexity open source garden for inference technology

Open Machine Learning Compiler Framework

Open-source engine for Heroes of Might and Magic III