aa755/CFGV
A generic library for reasoning about languages with binders
Developer Profile
aa755
Discovered public repositories for aa755 in the GitHub catalog.
aa755/coqqueryhttpserver
An HTTP server that answers Coq queries like Print, Locate by talking to coqtop
aa755/proviola-source
Proviola, a tool for proof reanimation.
aa755/nbcoq
Coq plugin for Netbeans
aa755/cfg3d
Public repository.
aa755/OpenNI
OpenNI
aa755/scene_labelling_rgbd
semantically labels kinect pointclouds
aa755/scene_labelling
Public repository.