-
Well-Typed
- https://well-typed.com/
Tien Do
foreverLoveWisdom
🧑 Simple and Pragmatic Human Being |
🤔 Strategic Thinker |📦 Outside-the-box Software Engineer
Alexander Foremny
aforemny
Functional programming and Linux enthusiast.
Haskell / Elm / NixOS
Self-employed Hanover, Germany
Felipe S. S. Schneider
schneiderfelipe
A PhD chemist (computational chemistry) and (scientific) software engineer.
Cellertz Bio 27°35'20.2"S 48°31'12.5"W
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Andrii Maliuta
ahndmal
Developing custom staff for @atlassian 's Confluence/Jira @Sumy-Coding
AC Ukraine
Sergey Fedorov
sergefdrv
Independent Research Engineer, Founder of @replica-io.
Heidelberg area, Germany
Liam
liamzee
New programmer. Older programmer. Starting with Haskell. Sound impossible? Prepare for a lot of shitcode.
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Jack O'Brien
PardusEidolon
Nix ~ Where the documentation is as abstract as the package management system itself.
yumiai New Zealand
Harry Pray IV
harryprayiv
Haskell, Nix, Plutus, Purescript;
functional programming enthusiast
Cambridge, MA
Christophe Garant
ccgarant
Rotorcraft Flight Controls Engineer. @ergoplatform & @cardano-foundation Network Contributor. @Balance-Analytics-io dev. Egalcoin soon.
Connecticut, USA
Tucker Triggs
tuckpuck
Website developer | Cardano developer | Digital nomad
Tucker Triggs Development
Bruno Cardoso
brunocardosof
Desenvolvedor Pleno | Typescript | Node.js | Nestjs | React | Next.js | Nx | AWS
Brasil
PreviousNext