Name: Masahiro Sakai
Type: User
Company: Preferred Networks, Inc. (@pfnet)
Bio: Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Location: Kawasaki, Japan
Blog: https://twitter.com/masahiro_sakai
Masahiro Sakai's Projects
Haskell-C++ Foreign Function Interface Generator
Syntax and typeclass for first order theories
Personal mirror of http://code.haskell.org/folkung/
Code for FormulaNet in NIPS 2017
Describe stencil formurae without even translating them
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.
A fast SAT solver
Haskell library for glob matching
Haskell bindings to the GLPK library
Max-SAT frontend for GLPK
high performance, high scalability and high reliability database for big data
Haskell Documentation Tool
Higher-rank hashable
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Haskell wrapper for GLPK (GNU Linear Programming Kit).
Mirror of Haskell bindings to L-BFGS-B
Low-level Haskell binding of Minisat
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
The OptDir type for representing optimization directions.
Haskell bindings to the CUDD binary decision diagram library
BDD (Boolean Decision Diagram) bindings for Haskell
Asymptotically optimal Brodal/Okasaki heaps
HGeometry
Linear optimization software