rudymatela/sized-functors
Public repository.
Public GitHub Catalog
Discovered Oct 14, 2026
rudymatela / quickspec
Equational laws for free
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.
#37194829GitHub System ID
rudymatelaOrganization / User
PublicVisibility
ActiveCatalog Status
More from rudymatela
rudymatela/fitspec
refine properties for testing Haskell programs
rudymatela/leancheck
enumerative property-based testing for Haskell
rudymatela/textemplate
LaTeX document template