Following Organizations
No Organizations you are following
Followees
- @soarflat
フロントエンドエンジニア
- yasutomo uemori@wakaba260
Webエンジニア - Vim, Ruby, ansible, docker
- @uasi
レシピサービスを開発しています。 Qiita, Qiita:Team, Qiita Jobs を開発していました。趣味では Rust とシェルスクリプトをよく書きます。
- Gabriel Zayas@gazayas
Bullet Train core team member
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @nari3
nariさん
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。