cacfd3a/Indonesia-Census-2010
🇮🇩 Structured data for the 2010 Indonesia census
Public GitHub Catalog
Discovered Oct 3, 2026
cacfd3a / net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
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.
#28482284GitHub 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.