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