The CounterExample-Guided Inductive Synthesis solver for sketching by Armando Solar-Lezama et al.
Java frontend compiler for the SKETCH synthesis. Authors: research groups of Armando Solar-Lezama (MIT) and Rastislav Bodik (UC Berkeley).
discrete wavelet transform nvidia cuda sdk modified for sketching experiments
hello world app that's compatible with the emulator (NOTE: change PRIORITY_VBO to PRIORITY_NORMAL in the Rokon example to get it to work).
keeps linked versions of the frontend and backend.
some small work on rokon / sane version control (i.e. not svn)
jcpp repository (https://svn.anarres.org/svn/repos/code/java/cpp...) plus maven install scripts