ia0/fcc
Coq formalization of System Fcc (coercion framework)
Public GitHub Catalog
Discovered Sep 24, 2026
ia0 / GhcKindsExamples
Examples and tests for ghc-kinds branch of GHC
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.
#2180127GitHub System ID
ia0Organization / User
PublicVisibility
ActiveCatalog Status
More from ia0
ia0/XCompose
Public repository.
ia0/lcge
Lambda calculus graphical evaluation