rhodeser/whippet-badger
model checking
Public GitHub Catalog
Discovered Sep 30, 2026
rhodeser / tunnel-vision
FPGA implementation of a tunnel racing game
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.
#17240617GitHub System ID
rhodeserOrganization / User
PublicVisibility
ActiveCatalog Status
More from rhodeser
rhodeser/servo-and-protecto
Autonomous car robot using Arduino and various sensors
rhodeser/cockroach-sunset
Closed loop control with LEDs on FPGA
rhodeser/freezing-nemesis
Public repository.