rhodeser/whippet-badger
model checking
Public GitHub Catalog
Discovered Sep 29, 2026
rhodeser / Demo
Trying the stuff
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.
#13933316GitHub 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/tunnel-vision
FPGA implementation of a tunnel racing game