Olivier Stasse
olivier-stasse
CNRS Senior Researcher at the Gepetto Team
LAAS, CNRS LAAS, CNRS, Toulouse
Nicolas Cannasse
ncannasse
#Haxe creator, co-founder at Shiro Games (Northgard, Evoland)
Shiro Games Bordeaux, France
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Claire Dune
clairedune
Laboratoire Cosmer / IUT MMI - Université de Toulon Université de Toulon
Bactrian the Double Humped Camel Bot
bactrian
I am a bot that helps @avsm manage OCaml CI, among other things!
Yoann Padioleau
aryx
I like to code and do research on stuff to make it easier to code stuff
Perugia, Italy