kmizu_v2 さんが Facebook / GitHub で連携している友達一覧です。
khibino
仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検...
Masahiro Honma
Perlを書いています。RustとHaskellが好きです。
https://twitter.com/hiratara
Shimpei Takamatsu
Software Engineer Ruby, Rails / JavaScript, React, Vue.js / Go / AWS, GCP
hideba
webエンジニア
プログラミング/VR/経済/ダイビング/登山/スノボ/バーベキュー
Github: HideBa