echatav/start-app
Make an app, start it up
Public GitHub Catalog
Discovered Sep 30, 2026
echatav / monoidal-setoid-categories
A formalization of monoidal e-categories and e-categories-with-families (e-CWFs) in Agda
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18228174GitHub System ID
echatavOrganization / User
PublicVisibility
ActiveCatalog Status
More from echatav
echatav/Dojo-Canopy-2048
Create a simple bot to play the game "2048", using the web testing framework Canopy!
echatav/Haskell-Total-Library
Exhaustive pattern matching using lenses, traversals, and prisms
echatav/error-continuations
To err is human.