Masahiro Sakai (@msakai)
github

msakai

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    365
  • Global Rank 75,903 (Top 3 %)
  • Followers 224
  • Following 189
  • Registered almost 15 years ago
  • Most used languages
    Haskell
         68.4 %
    C++
         13.2 %
    TeX
         5.3 %
    Python
         5.3 %
    Java
         5.3 %
    Ruby
         2.6 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 1,717
  • Country Ranking
    Haskell
         12
    TeX
         256
    C++
         1,140
    Java
         2,524
    Python
         4,261
    Ruby
         4,275

Top repositories

1

toysolver

My sandbox for experimenting with solver algorithms.
Haskell
148
star
2

cpl

An interpreter of Hagino's Categorical Programming Language (CPL).
Haskell
100
star
3

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell
Haskell
20
star
4

haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Haskell
11
star
5

nonlinear-optimization-ad

Several Haskell packages for numerical optimizations.
Haskell
8
star
6

ptq

An implementation of Montague's PTQ (Proper Treatment of Quantification).
Haskell
7
star
7

bytestring-encoding

Haskell
6
star
8

haskell-minisat

Low-level Haskell binding of Minisat
C++
5
star
9

finite-field

Haskell
4
star
10

glpk-maxsat

Max-SAT frontend for GLPK
C++
4
star
11

extended-reals

Extension of real numbers with positive/negative infinities (±∞)
Haskell
4
star
12

chainer-optnet

Python
3
star
13

pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Haskell
3
star
14

sign

Arithmetic over signs and sets of signs
Haskell
2
star
15

satchmo-toysat

toysat driver as backend for satchmo
Haskell
2
star
16

haskell-hyperset

Haskell
2
star
17

tpp2011

"Uniform Candy Distribution" problem
2
star
18

haskell-optdir

The OptDir type for representing optimization directions.
Haskell
2
star
19

haskell-MIP

Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
Haskell
2
star
20

ltg

TeamSampou's repository for ICFPC2011
Haskell
2
star
21

ersatz-toysat

toysat driver as backend for ersatz
Haskell
2
star
22

haskell-glpk

Haskell wrapper for GLPK (GNU Linear Programming Kit).
Haskell
2
star
23

scip-maxsat

Max-SAT frontend for SCIP
C++
2
star
24

folkung

Personal mirror of http://code.haskell.org/folkung/
Haskell
2
star
25

icfpc2013

Haskell
2
star
26

bnn-verification

TeX
2
star
27

icfpc2012

ICFP Programming Contest 2012 -- Lambda Lifter
Haskell
2
star
28

essence-of-ad

Attempt to code "The Simple Essence of Automatic Differentiation" paper
Haskell
2
star
29

pulp-scip

Python
1
star
30

tmctf2015-qualifier

Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier
Haskell
1
star
31

glucose-pybind11

C++
1
star
32

vstte2012vc

Java
1
star
33

multiset-large

Haskell
1
star
34

CCG-ja

Combinatory categorial grammar (CCG) of Japanese
1
star
35

icfpc2014

Haskell
1
star
36

rena

Ruby
1
star
37

CNFIO

CNF reader for Haskell
Haskell
1
star
38

cvc3

personal mirror of CVC3
C++
1
star
39

z3-proof-visualizer

TeX
1
star
40

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/
Java
1
star
41

sandbox

Sandbox repository to learn git.
1
star