msakai/nonlinear-optimization-ad
Several Haskell packages for numerical optimizations.
Developer Profile
msakai
Discovered public repositories for msakai in the GitHub catalog.
msakai/sign
Arithmetic over signs and sets of signs
msakai/icfpc2013
Public repository.
msakai/finite-field
Public repository.
msakai/multiset-large
Public repository.
msakai/data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
msakai/algorithm
Public repository.
msakai/scip-maxsat
Max-SAT frontend for SCIP
msakai/glpk-maxsat
Max-SAT frontend for GLPK
msakai/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
msakai/tpp2012
TPPmark2012
msakai/sandbox-1
Public repository.
msakai/folkung
Personal mirror of http://code.haskell.org/folkung/
msakai/CCG-ja
Combinatory categorial grammar (CCG) of Japanese
msakai/icfpc2012
ICFP Programming Contest 2012 -- Lambda Lifter
msakai/HelloHaskell
Public repository.
msakai/minisat
A minimalistic and high-performance SAT solver
msakai/haskell-optdir
The OptDir type for representing optimization directions.
msakai/cvc3
personal mirror of CVC3
msakai/haskell-glpk
Haskell wrapper for GLPK (GNU Linear Programming Kit).
msakai/rena
Public repository.
msakai/vstte2012vc
Public repository.
msakai/haskell-hyperset
Public repository.
msakai/win-ssh-agent
A ssh-agent wrapper with simple GUI
msakai/tpp2011
"Uniform Candy Distribution" problem
msakai/afv
C model checking.
msakai/kodkod
Personal mirror of http://alloy.mit.edu/kodkod/
msakai/ruby-gnome2
A set of bindings for the GNOME-2.x libraries to use from Ruby.
msakai/ltg
TeamSampou's repository for ICFPC2011
msakai/haskell-minisat
Low-level Haskell binding of Minisat
msakai/toysolver
My sandbox for experimenting with solver algorithms.
msakai/ptq
An implementation of Montague's PTQ (Proper Treatment of Quantification).
msakai/cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
msakai/sandbox
My sandbox repository