dasuxullebt/Pheap.v
Implementation of a Pairing Heap in Coq
Public GitHub Catalog
Discovered Oct 2, 2026
dasuxullebt / SirTET
An Inverse Tetris
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#25746852GitHub System ID
dasuxullebtOrganization / User
PublicVisibility
ActiveCatalog Status
More from dasuxullebt
dasuxullebt/nixpkgs
Nix Packages collection
dasuxullebt/DampFnudeL
Deflate in Coq
dasuxullebt/quicksort.v
Quicksort in Coq