Software Developer, co-founder of DIGGLE (https://diggle.jp) Ruby / JavaScript / OCaml, studied Type Theory, Theorem Prover
Location
Tokyo
Organization
DIGGLE Inc.
Participating Organizations(1)
Following Organizations
No Organizations you are following
Followers
- 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.
Masaru Furuya@masarufuruyaPharmaXというオンライン薬局のスタートアップでテックリード・EM・データエンジニアをしてます。技術スタックはRails/Vue/React/React Native周り | 一児の父 | 33歳
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
