leepike/june-drop-odroid-manifest
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
leepike / happy-plus-alex
Template for quickly and easily combining happy and alex
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.
#18642103GitHub 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!