jstolarek/dep-typed-wbl-heaps-hs
Weight-biased Leftist Heaps verified in Haskell using dependent types
Public GitHub Catalog
Discovered Oct 3, 2026
jstolarek / sekcjaPF
Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
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.
#27754323GitHub System ID
jstolarekOrganization / User
PublicVisibility
ActiveCatalog Status
More from jstolarek
jstolarek/lattice-structure-hs
Lattice structure in Haskell
jstolarek/tasty-program
Run tasty tests that check whether a program executes correctly
jstolarek/tasty-hunit-adapter
Import existing HUnit tests into tasty