LeiWangHoward/Play-Ground
Peek the programming world
A simple ninja game built based on Ray Wenderlich's tutorial
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Peek the programming world
The Racket repository
Sector functionalities for Racket language
Proof of some properties of Braun Tree using ACL2/ACL2s