glguy/tries
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
glguy / agda-balanced-tree-example
My exercise in implementing the beginnings of a pure heap data structure and proving properties for the algorithms in 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.
#514623GitHub System ID
glguyOrganization / User
PublicVisibility
ActiveCatalog Status
More from glguy
glguy/profunctors
Haskell 98 Profunctors
glguy/semigroups
Haskell 98 semigroups
glguy/pointed
pointed and copointed data