deviant-logic/category-theory
A formalization of category theory in Coq for personal study
Public GitHub Catalog
Discovered Sep 24, 2026
deviant-logic / elisp
My various bits of elisp
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.
#1115785GitHub 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