LeiWangHoward/racket
The Racket repository
Public GitHub Catalog
Discovered Sep 29, 2026
LeiWangHoward / Braun_Tree
Proof of some properties of Braun Tree using ACL2/ACL2s
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.
#15517380GitHub System ID
LeiWangHowardOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeiWangHoward
LeiWangHoward/image-sector
Sector functionalities for Racket language
LeiWangHoward/bootstrap
Sleek, intuitive, and powerful front-end framework for faster and easier web development.
LeiWangHoward/ios7-Sprite-Kit-Playground
A simple ninja game built based on Ray Wenderlich's tutorial