pigworker/Ship
Public repository.
Public GitHub Catalog
Discovered Oct 5, 2026
pigworker / PolyTest
being a literate Agda development of a theorem about testing polynomials with summation
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.
#30196468GitHub System ID
pigworkerOrganization / User
PublicVisibility
ActiveCatalog Status
More from pigworker
pigworker/UpsetOrder
being the materials for a paper about worlds
pigworker/Totality
being the programs and code for a paper about general recursion
pigworker/ConorLearnsIdris
being a scratch space for my teething troubles and tiny triumphs