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