Alex David
alexdavid
My active open source projects are on sourcehut, not github.
Repos here are just forks and old repos I don't actively maintain anymore.
Guibou
guibou
Haskell, C++, Nix. Background in computer graphics, but worked on reproducible planes and in silico clinical trial. I jump from planes.
Saint-Paul - Reunion - France
Aleksey Kliger (λgeek)
lambdageek
I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
@Microsoft Boston, MA
Julie Moronuki
argumatronic
Teacher, (type) writer, Haskell den mom.
Cofounder of @typeclasses
@joyofhaskell MONTANA
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
Germany
Pascal Voitot
mandubian
AI applied research scientists & engineer - Data/Stream senior engineer - Senior developer on FP & typesafe languages
Job Free (Paris) Paris
Lars Hupel
larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”
Giesecke+Devrient München
Coraline Ada Ehmke
CoralineAda
Internationally recognized tech ethicist, activist, & software engineer. Creator of Contributor Covenant & Hippocratic License. Ruby Hero. FOSS troublemaker.
@EthicalSource Chicago, IL
PreviousNext