Explore projects

Improv: Interactive MIDI Programming in C++ by Craig Stuart Sapp craig@ccrma.stanford.edu http://improv.sapp.org

Director Musices 2.5a for linux

Environment for generating .mus file for Directors Musics

Initially copyed from https://github.com/craigsapp/humextra.git

Utility for evaluating solvers on cluster machines

Reptile game

For combsql+, PB is added combsql/pysmt 's branch optimization + pb

A project to implement crisys2, a new tool for rewriting induction over LCTRSs

gpmc に dnnf 式を生成する機能を追加

CombSQL+: a solver for combnatorial optimization problems described in SQL based language