leepike/ivory-backend-acl2
An Ivory to ACL2 compiler.
Public GitHub Catalog
Discovered Sep 24, 2026
leepike / Copilot
A (Haskell DSL) stream language for generating hard real-time C code.
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.
#922077GitHub 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