Explore projects

Utility for evaluating solvers on cluster machines

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

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

Director Musices 2.5a for linux

Environment for generating .mus file for Directors Musics

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

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

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

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

An interpreter for Malbolge20

Naps source codes

Naps source codes