Explore projects

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

Naps source codes

Reptile game

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

Director Musices 2.5a for linux

Utility for evaluating solvers on cluster machines

A compiler for Pseudo-Instruction sequences into Low-Level-Assembling langage (制御付き疑似命令列から低級アセンブリ言語へのコンパイラ)

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

An interpreter for Malbolge20

Naps source codes

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

Environment for generating .mus file for Directors Musics

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

A compiler for low-level assembly language into Malbolge20 (低級アセンブリ言語からMalbolge20へのコンパイラ)

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