Emily 💞
emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
Bendeguz Seres
EarlPitts
Interested in PL, Type Theory and Functional Programming. Nix and Haskell enthusiast.
Budapest
Dominikus Herzberg
denkspuren
Getting thinking done!
Technische Hochschule Mittelhessen (THM) Germany, Gießen
luca zulian
lucazulian
software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
Milan, Italy
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Emir Kaan Özdemir
emirkaanozdemr
Data Scientist | Astronomy and Quantum Computing Enthusiast | Founder and Superposition of @Qranscend | Co-Founder of @Lyra-AI-Team | High School Student
Istanbul, Turkey
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Vegard Fjellbo
Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.
Webstep Norway
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Robert Krook
Rewbert
PhD student at Chalmers University of Technology.
Compilers, IoT, Languages, Testing
Chalmers University of Technology Gothenburg
PreviousNext