leepike/ivory-backend-acl2
An Ivory to ACL2 compiler.
Public GitHub Catalog
Discovered Sep 30, 2026
leepike / quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#17319879GitHub System ID
leepikeOrganization / User
PublicVisibility
ActiveCatalog Status
More from leepike
leepike/liquidhaskell
Liquid Types For Haskell
leepike/simple-spreadsheet-tools
Simple text-based spreadsheet tools
leepike/copilot-libraries
Copilot libraries that use the Copilot language