Sakamoto Noriaki

http://d.hatena.ne.jp/na4zagin3/ [email protected]

Indeed.com Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)

Results 2 repositories owned by


                                            Sakamoto Noriaki

satyrographos

46

Stars

13

Forks

Watchers

Package manager for SATySFi

satyrographos-repo

18

Stars

17

Forks

Watchers

Custom OPAM repository for SATySFi libraries managed by Satyrographos

opam-repository