Following Organizations
No Organizations you are following
Followees
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Inada Naoki@methane
Python Golang
- Junichi Kato@j5ik2o
Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o
- Takumi IINO@troter
I'm a horse racing fan, a programmer, a mercurial evangelist in Japan. Live in #mercurialjp #TokyoMercurial .
- Hiromu Shioya@kwappa
Ruby programmer
- Kitahara Kosei@Surgo
Lazy programmer.
- 結城 浩@hyuki
数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。
- Hideyuki Tanaka@tanakh
Haskellプログラマです。
- Yugui Sonoda@yugui
grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Gen Taguchi@taguchi
プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。
