ExpidusOS
ExpidusOS
The easy to use mobile and desktop operating system from Midstall Software
Kosyrev Serge
deepfire
Haskell & bare metal hacker, system builder, technologist. Mountains are my love, and I do running and fasting for life
Moscow, RU
Paolo Capriotti
pcapriotti
Senior Haskell Developer at Wire.
Previously I was a postdoc at TU Darmstadt. Before that I was a postdoc at University of Nottingham.
Wire Fermo, Italy
Alfredo Di Napoli
adinapoli
Haskell programmer working remotely from Rome, Italy.
Well-Typed LLP Rome, IT
Sergei Winitzki
winitzki
Theoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages
Paris, France
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana
Alex Mason
axman6
Haskell developer for over a decade, Currently working at Liquid Instruments
Liquid Instruments Canberra, Australia
Aggelos Biboudis
biboudis
Java Platform Group, Java language and tools (official name: Angelos Bimpoudis)
@openjdk
@Oracle Zurich
Rick Elrod
relrod
Learning Rust •
Lead of @dagd • Ham radio, functional programming and type theory.
Checkmk GmbH Germany
PreviousNext