cutsea110/bisocie-mock
mock for new BISocie
Public GitHub Catalog
Discovered Oct 1, 2026
cutsea110 / sigma
Dependently Sum type on Agda
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.
#20345410GitHub System ID
cutsea110Organization / User
PublicVisibility
ActiveCatalog Status
More from cutsea110
cutsea110/elm-tutorial
Public repository.
cutsea110/elm-temperature
Public repository.
cutsea110/sig
technical analysis for trading