jonsterling/brouwer-translations
translations of brouwer's writings; corrections from native speakers welcome!
Public GitHub Catalog
Discovered Oct 23, 2026
jonsterling / purescript-strongcheck
Public repository discovered through GitHub real-time crawl.
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.
#42748827GitHub System ID
jonsterlingOrganization / User
PublicVisibility
ActiveCatalog Status
More from jonsterling
jonsterling/purescript-parsing
A parser combinator library based on Parsec
jonsterling/agda-sheaf-semantics
here we go again
jonsterling/purescript-base
Public repository.