msakai

Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Preferred Networks, Inc. (@pfnet)Kawasaki, Japan

Pinned Repositories

bytestring-encoding
Language:Haskell6 3 21
cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
Language:Haskell112 13 07
data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
Language:Haskell21 4 169
extended-reals
Extension of real numbers with positive/negative infinities (±∞)
Language:Haskell4 3 03
finite-field
Language:Haskell4 4 20
haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Language:Haskell13 1 04
haskell-minisat
Low-level Haskell binding of Minisat
Language:C++5 2 12
nonlinear-optimization-ad
Several Haskell packages for numerical optimizations.
Language:Haskell8 3 01
ptq
An implementation of Montague's PTQ (Proper Treatment of Quantification).
Language:Haskell7 3 00
toysolver
My sandbox for experimenting with solver algorithms.
Language:Haskell152 11 2211

msakai's Repositories

msakai/toysolver
My sandbox for experimenting with solver algorithms.
Language:Haskell152 11 2211
msakai/cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
Language:Haskell112 13 07
msakai/data-interval
Interval datatype, interval arithmetic, and interval-based containers for Haskell
Language:Haskell21 4 169
msakai/haskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Language:Haskell13 1 04
msakai/nonlinear-optimization-ad
Several Haskell packages for numerical optimizations.
Language:Haskell8 3 01
msakai/bytestring-encoding
Language:Haskell6 3 21
msakai/extended-reals
Extension of real numbers with positive/negative infinities (±∞)
Language:Haskell4 3 03
msakai/pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Language:Haskell3 3 3
msakai/bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020
Language:TeX2 2 0
msakai/haskell-optdir
The OptDir type for representing optimization directions.
Language:Haskell2 3 0
msakai/7-Zip
7-Zip source code repository
Language:C++0 0
msakai/ad-delcont
Reverse-mode automatic differentiation with delimited continuations
Language:Haskell0 0
msakai/backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Language:Haskell0 0
msakai/Detours
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
msakai/haskell-l-bfgs-b
Mirror of Haskell bindings to L-BFGS-B
Language:Haskell1 0
msakai/hlbfgsb
Mirror of http://people.ksp.sk/~ivan/hlbfgsb
Language:Fortran1 0
msakai/homebrew-tap
Language:Ruby2 0
msakai/icfpc2023
Language:Jupyter Notebook
msakai/lbfgs-hs
Haskell binding for liblbfgs
Language:C
msakai/liblbfgs
libLBFGS: a library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS)
Language:C1 0
msakai/logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
Language:Haskell2 0
msakai/mingw-w64-liblbfgsb
L-BFGS-B package for MINGW environments
Language:Shell
msakai/nonlinear-optimization
Various iterative algorithms for optimization of nonlinear functions.
Language:C2 0
msakai/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
Language:Java0 0
msakai/resume
2 0
msakai/scipy
SciPy library main repository
Language:Python0 0
msakai/ShonanArtOfSAT
Schedule for ArtOfSAT
msakai/tppmark2020
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).
Language:Haskell2 0
msakai/wgb-256-zenn-content
msakai/zip
Efficient library for manipulating zip archives
Language:Haskell0 0