rhodeser/whippet-badger
model checking
Public GitHub Catalog
Discovered Sep 30, 2026
rhodeser / cockroach-sunset
Closed loop control with LEDs on FPGA
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19164750GitHub System ID
rhodeserOrganization / User
PublicVisibility
ActiveCatalog Status
More from rhodeser
rhodeser/servo-and-protecto
Autonomous car robot using Arduino and various sensors
rhodeser/tunnel-vision
FPGA implementation of a tunnel racing game
rhodeser/freezing-nemesis
Public repository.