MAN
m74278803-cmyk
Earn $20 in the stock of your choice when you join Public with my referral link.
https://share.public.com/Martha44053
Wesley Scholl
wesleyscholl
Marine-turned-coder 🪖 | Builder, AI/ML 🤖 & Automation | @TotalWineLabs 🍷 | Musician 🎸 | Let’s build something awesome—then jam! 🎶
@TotalWineLabs Washington, DC
Hoang Phan
hoangpq
Digital craftsman | Technical Consultant | Clojurist | Haskeller
Developer Avocados
Julian Ospald
hasufell
Haskell freelancer, Opensource enthusiast.
Durian Consulting Pte. Ltd. Taipei
Jeffrey Young
doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
* MOVED TO CODEBERG (https://codeberg.org) *
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Koneti Hemanth Raju
KHemanthRaju
Arizona State University Tempe, Arizona, United States
Alberto Geroldi
d3lmakO
PhD student at IRCAN's "Population Genomics and Complex Traits" team in Nice.
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
E. M.
Emraors
Software Engineer | Mathematician.
I use GitHub mainly for exercises and learning. Nothing particularly interesting here yet.
Milan
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Maadhav Kothari
MaadhavKothari
Multi-disciplinary scientist with expertise in data science, MatSci, and software development.
UK
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
PreviousNext