gatoatigrado

Nicholas Tung

sketch-backend

The CounterExample-Guided Inductive Synthesis solver for sketching by Armando Solar-Lezama et al.

sketch-frontend

Java frontend compiler for the SKETCH synthesis. Authors: research groups of Armando Solar-Lezama (MIT) and Rastislav Bodik (UC Berkeley).

cuda-sdk-dwt

discrete wavelet transform nvidia cuda sdk modified for sketching experiments

android-rokon-hello-world

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).

sketch-epochs

keeps linked versions of the frontend and backend.

rokon-fork

some small work on rokon / sane version control (i.e. not svn)

  1. Prev
  2. 1
  3. 2
  4. Next