LeiWangHoward/racket
The Racket repository
Public GitHub Catalog
Discovered Sep 27, 2026
LeiWangHoward / Scribble-Playground
Research focus on indentation of Scribble language
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.
#11359997GitHub System ID
LeiWangHowardOrganization / User
PublicVisibility
ActiveCatalog Status
More from LeiWangHoward
LeiWangHoward/image-sector
Sector functionalities for Racket language
LeiWangHoward/Braun_Tree
Proof of some properties of Braun Tree using ACL2/ACL2s
LeiWangHoward/bootstrap
Sleek, intuitive, and powerful front-end framework for faster and easier web development.