leepike/happy-plus-alex
Template for quickly and easily combining happy and alex
Public GitHub Catalog
Discovered Oct 19, 2026
leepike / june-drop-odroid-manifest
Public repository discovered through GitHub real-time crawl.
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.
#39657463GitHub System ID
leepikeOrganization / User
PublicVisibility
ActiveCatalog Status
More from leepike
leepike/ivory-hoare-examples
Small pre/post examples in Ivory.
leepike/ivory-backend-acl2
An Ivory to ACL2 compiler.
leepike/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!