jmchapman/categories
A category theory library for Agda
Public GitHub Catalog
Discovered Sep 24, 2026
jmchapman / Big-step-Normalisation
Agda formalisations of some big-step normalization proofs
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.
#2364245GitHub System ID
jmchapmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from jmchapman
jmchapman/agda-stdlib
The Agda standard library
jmchapman/Foogle.Charts
Easy to use F# wrapper for Google Charts visualization library
jmchapman/ITT8060
Public repository.