deviant-logic/category-theory
A formalization of category theory in Coq for personal study
Public GitHub Catalog
Discovered Sep 25, 2026
deviant-logic / cgen
cgen generates C interfaces from C++ headers
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.
#4877137GitHub System ID
deviant-logicOrganization / User
PublicVisibility
ActiveCatalog Status
More from deviant-logic
deviant-logic/zsplit
Public repository.
deviant-logic/props
Public repository.
deviant-logic/ekg
Remote monitoring of running processes over HTTP