Sora Morimoto
smorimoto
@ocaml @tc39 Tokyo, Japan
mono — Masayuki Ono
mono0926
Software Engineer (Flutter/Dart, Firebase/GCP, iOS/Swift, TypeScript)
Freelance Tokyo, Japan
Remi Rousselet
rrousselGit
Flutter enthusiast.
You'll find me on stackoverflow.
Or as a speaker in Flutter meetups
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
Miles Sabin
milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.
Underscore/Typelevel/shapeless/grackle Brighton, UK
kenji yoshida
xuwei-k
Tokyo
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis
Amigo(WhiteLuckBringers)
WL-Amigo
Programmer mainly acts in Web Frontend. Head of the personal circle "WhiteLuckBringers".
Jumpei Matsuda
jmatsu
Senior Full Stack developer. A beer and Japanese sake lover in Tokyo.
Tokyo, Japan
azu
azu
Creator of @textlint, @secretlint, @honkit and @almin.
Editor of @efcl, @jser and @ecmascript-daily.
Author of @js-primer.
(Don't send me email-ad.)
Tokyo/Japan
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
PreviousNext