🦖
GHC contributor, working on linear types, equality saturation, and in whatever else
-
Well-Typed LLP @ GHC Team
- Portugal
- alt-romes.github.io
- https://orcid.org/0009-0005-1467-115X
Afonso Rafael (Gafanhoto)
Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing
Barcelona Supercomputing Center Barcelona
Arthur Aguiar
Sepulven
IT Engineer Student in the University of Lisbon. Native Portuguese speaker & fluent in English.
Portugal, Lisbon
Tony Fu
maybetonyfu
I'm a programming language researcher. My PhD is on making Haskell more user friendly. I also like writing small tools to make daily computing exciting and fun!
Miao ZhiCheng
hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Sophie Bosio
SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure
Ardoq Oslo, Norway
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Inês Almeida
britalmeida
Tools and Systems programmer, with a passion for Blender, games and film.
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Applied Scientist at Amazon Portland, OR
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
José Duarte
jmg-duarte
🦀 by 🌞 & 🌚 (occasionally 🐍) | Interested in Programming Languages, Distributed Systems, Low-level Programming and High-performance Computing.
@cowprotocol Portugal
PreviousNext