Followees
- Kazuya Ueoka@fromkk
iOSアプリエンジニアです。 # Type( https://type-markdown.app )やPity( https://freetimepicker.firebaseapp.com/ )というMarkdownエディタアプリを個人的に開発しています。
- Yuta Koshizawa@koher
Swift は他の多くの言語と異なり値型中心の言語です。そんな Swift を学ぶ上で重要なポイントをまとめたオンライン書籍 "Heart of Swift" ( https://heart-of-swift.github.io ) を書きました。
- Hirohito Kato@hkato193
I wanna be a iOS/Mac developer.
- Ryu Tanabe@bellx2
ソフトウェアで世の中をハッピーにしたいフロントエンドから電気工事まで何でもやる系エンジニアです。
@wwvwvvHaskellと*BSDのことが気になるワーキングプアです。
- @hetima
OS X
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
