leepike/ivory-backend-acl2
An Ivory to ACL2 compiler.
Public GitHub Catalog
Discovered Sep 25, 2026
leepike / SmartCheck
A Smarter QuickCheck
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.
#3979250GitHub System ID
leepikeOrganization / User
PublicVisibility
ActiveCatalog Status
More from leepike
leepike/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
leepike/liquidhaskell
Liquid Types For Haskell
leepike/simple-spreadsheet-tools
Simple text-based spreadsheet tools