Masahiro Sakai

cpl. An interpreter of Hagino's Categorical Programming Language (CPL).

toysolver. My sandbox for experimenting with solver algorithms.

data-interval. Interval datatype, interval arithmetic, and interval-based containers for Haskell

haskell-decision-diagrams. Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell

nonlinear-optimization-ad. Several Haskell packages for numerical optimizations.

haskell-sequitur. Haskell implementation of grammar-based compression algorithm SEQUITUR

ptq. An implementation of Montague's PTQ (Proper Treatment of Quantification).

haskell-MIP. Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell

bytestring-encoding. Haskell

haskell-minisat. Low-level Haskell binding of Minisat

glpk-maxsat. Max-SAT frontend for GLPK

extended-reals. Extension of real numbers with positive/negative infinities (±∞)

bnn-verification. BNN verification dataset for Max-SAT Evaluation 2020, MIPLIB 2024, and Pseudo-Boolean Competition 2025

finite-field. Haskell

pseudo-boolean. Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.

chainer-optnet. Python

essence-of-ad. Attempt to code "The Simple Essence of Automatic Differentiation" paper

icfpc2013. Haskell

sign. Arithmetic over signs and sets of signs

haskell-optdir. The OptDir type for representing optimization directions.

scip-maxsat. Max-SAT frontend for SCIP

rouge. Scheme-like language interpreter written in Ruby

icfpc2012. ICFP Programming Contest 2012 -- Lambda Lifter

haskell-glpk. Haskell wrapper for GLPK (GNU Linear Programming Kit).

folkung. Personal mirror of http://code.haskell.org/folkung/

satchmo-toysat. toysat driver as backend for satchmo

haskell-hyperset. Haskell

ltg. TeamSampou's repository for ICFPC2011

pulp-scip. Python

tpp2011. "Uniform Candy Distribution" problem

ersatz-toysat. toysat driver as backend for ersatz

jasoncc.github.io. Random Signals on Some Low-level Stuff.

rena. Ruby

kodkod. Personal mirror of http://alloy.mit.edu/kodkod/

lbfgs. Mirror of L-BFGS

tmctf2015-qualifier. Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier

minicard. MiniCard: An efficient cardinality solver based on MiniSAT

z3-proof-visualizer. TeX

CNFIO. CNF reader for Haskell

Smtlib. Parser for smt-lib Command responses

mios. Misinat-based Implementation and Optimization Study on SAT Solver in Haskell

chainer-formulanet. Chainer implementation of FormulaNet

dobutsu-shogi-master. A perfect player for Dobutsu-Shogi

HelloHaskell. Haskell

griddb_nosql. high performance, high scalability and high reliability database for big data

multiset-large. Haskell

glucose-pybind11. C++

sandbox. My sandbox repository

minisat. A minimalistic and high-performance SAT solver

cvc3. personal mirror of CVC3

win-ssh-agent. A ssh-agent wrapper with simple GUI