Change the repository type filter
All
Repositories list
2 repositories
horizon
PublicCapable, auditable coding that runs fully offline on a 16 GB machine. A verification-first layer (hard test execution, symbolic checking, agentic repair) that t…vexp-swe-bench
PublicOpen benchmark for AI coding agents on SWE-bench Verified. Compare resolution rates, cost, and unique wins.
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.