A multi-agent system that keeps running for ~100 hours and solve a very complicated coding or math problem that can be verified

Self-evolving Context Database for AI Agents. Unify Agent Memory, Knowledge RAG and Skills.

SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.

Build cross-platform desktop apps with JavaScript, HTML, and CSS

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Kimi Code CLI — The Starting Point for Next-Gen Agents

µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.

Warp is an agentic development environment, born out of the terminal.

First batch of problems from February 2026.

Official code base for LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels

Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.

The math library of Lean 4

Boa is an embeddable Javascript engine written in Rust.

A full featured, fast Command Line Argument Parser for Rust

AI agents running research on single-GPU nanochat training automatically

Lightpanda: the headless browser designed for AI and automation

Get 10X more out of Claude Code, Codex or any coding agent

Desktop and web interface for OpenCode AI agent

The open-source app everyone uses to manage agents at work

⛄ Possibly the smallest compiler ever

The 100 line AI agent that solves GitHub issues or helps you in your command line. Radically simple, no huge configs, no giant monorepo—but scores >74% on SWE-bench verified!

⚡️ TypeScript Execute | The easiest way to run TypeScript in Node.js

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

Staging repo for development of native port of TypeScript

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode

Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀