Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Carlos J. Rivera
cjrcoding
Working on screen, building on chain. Exploring Cardano smart contracts with Haskell and Aiken. Learning in public, one project at a time.
Los Angeles, California
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
21world
jelspace
.new. LOTTERY FORCED MARRIAGE(entire population) + BASIC INCOME is give free money for all,opposite to: forced take VAT tax from all
BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization
smoge
smoge
Composer | Programmer | Musician | Performer | Crafting scores, sounds and code with equal passion. Exploring the intersections
Sumit Mittal
Sumit2202
Code enthusiastic, Problem solver, Critical thinker and most of all a Team player
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo
Julian Ospald
hasufell
Haskell freelancer, Opensource enthusiast.
Durian Consulting Pte. Ltd. Taipei
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
PreviousNext