cutsea110/adv-cal-2014
advent calendar 2014
Public GitHub Catalog
Discovered Oct 3, 2026
cutsea110 / Monoid
selft study Monoid 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.
#26999986GitHub System ID
cutsea110Organization / User
PublicVisibility
ActiveCatalog Status
More from cutsea110
cutsea110/papers
papers collection
cutsea110/filedownloader
file downloader using google search with filetype
cutsea110/kabu
download stock data from k-db.com