rhodeser/whippet-badger
model checking
Verilog project that displays a virtual robot's orientation and action
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
model checking
Autonomous car robot using Arduino and various sensors
Closed loop control with LEDs on FPGA
FPGA implementation of a tunnel racing game