phynfo/VectorArrows-Agda
Experiments in defining an Arrow-Like interface for fixed-size-Vectors in Agda
Public GitHub Catalog
Discovered Sep 25, 2026
phynfo / LiquidDemocracy-XXS
An Extremely Light Liquid Democracy Tool
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.
#4561734GitHub System ID
phynfoOrganization / User
PublicVisibility
ActiveCatalog Status
More from phynfo
phynfo/Hardware-Modeling-with-Arrows2
Public repository.
phynfo/arrowVHDL
minor haskell programming