Explore projects

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

Naps source codes

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

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

Environment for generating .mus file for Directors Musics

Utility for evaluating solvers on cluster machines

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

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

Director Musices 2.5a for linux

A compiler of C-like language that produces Pseudo-Instruction sequences (C風言語から制御付き疑似命令列へのコンパイラ)

Reptile game