Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Nicolas Lenz
Eisfunke
Master Student of Computer Science in Dortmund, Germany. Visit my own Git at git.eisfunke.com!
Rhein-Ruhr Systemtechnik Germany
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
digitally induced GmbH
digitallyinduced
We combine extensive software expertise with startup mindset
Germany