leepike/happy-plus-alex
Template for quickly and easily combining happy and alex
Public GitHub Catalog
Discovered Sep 24, 2026
leepike / copilot-language
Public repository discovered through GitHub real-time crawl.
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.
#1867626GitHub 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!