cacfd3a/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Developer Profile
cacfd3a
Discovered public repositories for cacfd3a in the GitHub catalog.
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
cacfd3a/rijksmuseum-xml-parser
Public repository.
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.
cacfd3a/android-clustering-lib
android-clustering-lib
cacfd3a/lombok
Very spicy additions to the Java programming language.