Ryo Suzuki
ryosuzuki
Assistant Professor at Univerity of Colorado Boulder
University of Colordo Boulder Boulder, CO
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France
Kenta Murata
mrkn
I am an open-source software engineer. I am a committer to Ruby and Apache Arrow and a contributor to Julia.
@xica Tokyo, Japan
Kakutani Shintaro
kakutani
a plain-old agile rubyist-ist. keeb zombie.
Freelance, Ruby-no-Kai Tokyo, Japan