konn/davupload
A simple WebDAV synchronizer
Public GitHub Catalog
Discovered Sep 27, 2026
konn / monomorphic
Type-class for the polymorphic data-types (e.g. dependently-typed datatypes defined by GADTs) which can be converted to/from monomorphic represetation
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.
#8747892GitHub System ID
konnOrganization / User
PublicVisibility
ActiveCatalog Status
More from konn
konn/hi-cocoa
Cocoa App skeleton for hi
konn/hi-library
library template for hi
konn/hi-executable
A simple template for hi