Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager) and making the OCaml ecosystem ready for new versions of the compiler.
@ahrefs @ocaml-sf Glasgow, Scotland
François Gutherz
astrofra
Male, living in France. Graduated in Fine Arts and Computer Science, Candidate for PhD in Digital Arts. Interactive 3D, demomaking, open source, IA.
Orléans
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Cui Chen
cu1ch3n
@hkuplg Hong Kong, China
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
V. Jackson
vjackson725
Ph.D. student at the University of Melbourne. I mainly work on program verification.
Julie Moronuki
argumatronic
Teacher, (type) writer, Haskell den mom.
Cofounder of @typeclasses
@joyofhaskell MONTANA
Paul D. Fernhout
pdfernhout
"The biggest challenge of the 21st century is the irony of technologies of abundance in the hands of those still thinking in terms of scarcity."
Adirondack Park, NY
Nicolas P. Rougier
rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.
@INRIA Bordeaux, France
PreviousNext