https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる
Tokyo, Japan
Participating Organizations(1)
Following Organizations
No Organizations you are following
Followees
- @mtoyoshi
調査モノのアウトプットが中心です
- @okumin
プログラミング始めました。
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
Kazuhiro Sera@seratchSlack で Bolt などの Slack 公式 SDK の開発と、日本語での Developer Relations の活動を担当しています。
- Kei Hibino@khibino
http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- @fumieval
一般的なHaskeller
- @bleis
くぁ
- Keigo Imai@keigoi
大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。
- Masahiro Honma@hiratara
I like programming :)
- @kumagi
ロックフリーです。
