seer-lab/RoboBUG
A serious game for learning debugging.
Public GitHub Catalog
Discovered Sep 24, 2026
seer-lab / ARC
A tool to automatically repair concurrency bugs in Java.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1511788GitHub System ID
seer-labOrganization / User
PublicVisibility
ActiveCatalog Status
More from seer-lab
seer-lab/CORE
An automatic bug repair tool for concurrent Java programs. Utilizes Java PathFinder (JPF) model checker.
seer-lab/VisMAn
Visualization tool for mutation testing.
seer-lab/GitView
Mining GitHub projects to learn about open source software development communities and practices.