Highlights
- Pro
Lists (3)
Stars
Open sourced execution logs, trajectories, and results from evaluation runs on GSO
End-to-end encrypted file transfer. A magic wormhole CLI and API in Go (golang).
Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments
Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
Our library for RL environments + evals
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!
SevenTV / chatterino7
Forked from Chatterino/chatterino2Chat client for https://twitch.tv
[NeurIPS '25] GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
Qwen3 is the large language model series developed by Qwen team, Alibaba Cloud.
[COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents
[NeurIPS'25] Official codebase for "SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution"
MLGym A New Framework and Benchmark for Advancing AI Research Agents
A high-performance algorithmic trading platform and event-driven backtester
📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…
This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?"
SWE-bench: Can Language Models Resolve Real-world Github Issues?
[FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
Minimal reproduction of DeepSeek R1-Zero
A new version of Soot with a completely overhauled architecture
A GitHub app to automatically review Python code style over Pull Requests