Definition
The dominant online home for code projects and where most open-source software lives.
The widely used hosted version-control and collaboration platform for software development; many agent benchmarks draw from real GitHub issues and pull requests.