kmicklas/verified-braun-heaps
A (eventually) fully verified priority queue using Braun heaps in Agda
Public GitHub Catalog
Discovered Sep 29, 2026
kmicklas / pyrec
Public repository discovered through GitHub real-time crawl.
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.
#16711110GitHub System ID
kmicklasOrganization / User
PublicVisibility
ActiveCatalog Status
More from kmicklas
kmicklas/anki
Anki for desktop computers
kmicklas/variadic-variant
A C++ variant library (like Boost.Variant) using C++11 variadic templates