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

temporary repository to investigate scaling problems with certain sketches

immutable base models for the Django framework -- each class (MyClass) is given a corresponding history class (MyClassHistory), and all save() calls create a new history class object. all apache2 license. not a large/professional project but should be relatively stable (and useful!). requires a small convenience function library (gatoatigrado_lib, also apache2 license). author: gatoatigrado (nicholas tung)

miscellany utility functions

a fun experiment to bootstrap skalch into it's own plugin.

small utilities for SKETCH-related projects (SKETCH, Skalch)

Haskell Study Group materials

Sketches presented at conferences, and nicer examples.