A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
Participating Organizations(1)
Followees
- @cedretaber
ペーパー司書。
- cympfh@cympfh
有意義、躍進など
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu
- @nonstarter
多少とも書けるといえるのはCとHaskellをちょっとだけです。自分自身の研究と教育に必要なものはほぼHaskellで書いています。
- Junichi@kjunichi
WebRubyがきっかけで、mrubyで実装されたhttp2サーバーのtrusterdに絡んだ事をやってみたり、ElectronのIssue眺めたり、手元で動かしたり、node.js関連。WASMも少々。投稿する記事の内容は個人の意見であり、所属する企業の見解を代表するものではありません。
- Daichi Yanagi@daichi87gi
Webプログラマー。作成する記事には要所に画像、関連リンクを張る、過去の記事は更新するといった配慮を行っています。又、指摘コメントや、フォローをして頂ける方にはフォロー返しさせて頂いています。
- Satoshi Egi@egisatoshi
The creator of the Egison programming language.
- @Thought_Nibbler
"現実は貴方の想像を凌駕する"
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- 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
- よしだ けんじ@xuwei_k
https://github.com/scalaz https://github.com/scalaprops https://github.com/scalikejdbc https://github.com/scalapb-json https://github.com/argonaut-io Scala本体や、Scalaz、その他色々なScalaのライブラリのコミッターやってる
- Subobject Classifier@sct
圏論について書きます。
- エヌユル ncaq@ncaq
#プログラマ #Haskell #Emacs #Web #NLP {データベース,ネットワーク,情報セキュリティ}スペシャリスト
- @komekome09
I write a fuzzy article.
- Ruichi Kos@ruicc
Haskeller, Vimmer, Engineer.
- @derui
広く薄く時には深く。
- t hash@hash
機能が向上し, 問題が修正されています
- ヤギの さくらちゃん@arowM
さくらちゃんはアーティストやぎぃ フリーランスUXハッカー プログラマー（Elm, Haskell） プログラミングElm訳者 http://amzn.to/3IOR4bF ヤギ語翻訳 ARoW代表 http://arow.info http://sakurachan.info/
@hiruberutoネギトロがすきです
