leepike/june-drop-odroid-manifest
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
leepike / ivory-hoare-examples
Small pre/post examples in Ivory.
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.
#18524831GitHub System ID
leepikeOrganization / User
PublicVisibility
ActiveCatalog Status
More from leepike
leepike/happy-plus-alex
Template for quickly and easily combining happy and alex
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!