Followees

  • よしだ けんじ@xuwei_k

    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のライブラリのコミッターやってる

  • MIZUNO Hiroki@mzp

    Coqなどによるプログラムの正しさの検証・証明に興味があります。

  • Junichi Kato@j5ik2o

    Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o

  • Takafumi Ikeda@ikeike443

    Partner Solution Engineer at Stripe, Inc.