cacfd3a/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Public GitHub Catalog
Discovered Oct 1, 2026
cacfd3a / Indonesia-Census-2010
๐ฎ๐ฉ Structured data for the 2010 Indonesia census
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.
#21565343GitHub System ID
cacfd3aOrganization / User
PublicVisibility
ActiveCatalog Status
More from cacfd3a
cacfd3a/tour-guide-website
Website for the city tour project
cacfd3a/route_finder
University project
cacfd3a/rijksmuseum-xml-parser
Public repository.