A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Participating Organizations(1)
Followers
- ogata-k@ogata-k
RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。
- Kioto Hirahara@kioto
フリーランスのプログラマです。
- hrtk assh@hiro_assh
Objective-C
- @pxfnc
きーた
- @cedretaber
ペーパー司書。
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
@x_x_lソフトウェア開発職してます． 大学時代は，理論計算機科学に興味を持っていましたが，興味を持っただけで終わった．．．
- @tkinagaki
アラサーの社畜です
- Junichi Kato@j5ik2o
Chatwork社テックリード/DDD Evans本レビューア/Scala,Rust/お仕事は➡ https://bit.ly/3kIYMJU / 質問は➡ https://peing.net/ja/j5ik2o / Github sponsor ➡ https://github.com/sponsors/j5ik2o
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
- Keita Suzuki@keitaj
http://ja.stackoverflow.com/users/8558/suzuki-keita
- Yuji YAMAMOTO@igrep
HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。
- @adacola
F#とコーラとみもりんと橘まおさんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。
- Daichi Yanagi@daichi87gi
Webプログラマー。作成する記事には要所に画像、関連リンクを張る、過去の記事は更新するといった配慮を行っています。又、指摘コメントや、フォローをして頂ける方にはフォロー返しさせて頂いています。
- @Thought_Nibbler
"現実は貴方の想像を凌駕する"
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- Kei Hibino@khibino
http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.
