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.