cacfd3a/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Public GitHub Catalog
Discovered Sep 26, 2026
cacfd3a / fusion-tables-android
Reparation of http://code.google.com/p/fusion-tables-android to work with post-honeycomb devices. LocationListener still doesn't work well, but at least it doesn't crash.
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.
#6854687GitHub System ID
cacfd3aOrganization / User
PublicVisibility
ActiveCatalog Status
More from cacfd3a
cacfd3a/Indonesia-Census-2010
🇮🇩 Structured data for the 2010 Indonesia census
cacfd3a/tour-guide-website
Website for the city tour project
cacfd3a/route_finder
University project