Masahiro Sakai

icon indicating a website link https://twitter.com/masahiro_sakai icon indicating an email [email protected]

icon company Preferred Networks, Inc. (@pfnet) icon location Kawasaki, Japan icon location Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Results 3 repositories owned by Masahiro Sakai

toysolver

152
Stars
11
Forks
Watchers

My sandbox for experimenting with solver algorithms.

verified publisher icon msakai

cpl

109
Stars
6
Forks
Watchers

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

verified publisher icon msakai

data-interval

20
Stars
9
Forks
Watchers

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

verified publisher icon msakai