jmchapman/categories
A category theory library for Agda
Public GitHub Catalog
Discovered Oct 2, 2026
jmchapman / agda-stdlib
The Agda standard library
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.
#25504902GitHub System ID
jmchapmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from jmchapman
jmchapman/Foogle.Charts
Easy to use F# wrapper for Google Charts visualization library
jmchapman/ITT8060
Public repository.
jmchapman/fsharp.github.io
F# GitHub Community Webpages