-
Kyoto University
- Kyoto, Japan
- http://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
- https://orcid.org/0000-0001-9360-7490
Highlights
- Pro
Bats
bats-core
This org is an effort to migrate the original bats repository to an organization
Sakamoto Noriaki
na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
Indeed.com
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
Hiroki Kobayashi
koba-e964
https://atcoder.jp/users/kobae964
Languages: native Japanese, professional working English, elementary Swedish