Masahiro Sakai's repositories
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.
extended-reals
Extension of real numbers with positive/negative infinities (±∞)
pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020
haskell-MIP
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
haskell-optdir
The OptDir type for representing optimization directions.
7-Zip
7-Zip source code repository
ad-delcont
Reverse-mode automatic differentiation with delimited continuations
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Detours
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
haskell-l-bfgs-b
Mirror of Haskell bindings to L-BFGS-B
hlbfgsb
Mirror of http://people.ksp.sk/~ivan/hlbfgsb
lbfgs-hs
Haskell binding for liblbfgs
logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
mingw-w64-liblbfgsb
L-BFGS-B package for MINGW environments
nonlinear-optimization
Various iterative algorithms for optimization of nonlinear functions.
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
scipy
SciPy library main repository
ShonanArtOfSAT
Schedule for ArtOfSAT
tasty-th
Automatically generate tasty test groups from functions in a module using TH
tppmark2020
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
zip
Efficient library for manipulating zip archives