Well-Typed LLP
Users following well-typed
Lambda Fiend
LambdaFiend
Computer Science student at the University of Porto.
My current areas of interest are Type Theory, Compiler Design and more. In general, PL-related stuff.
Portugal
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
Alexander Goussas
aloussase
My stuff is in https://codeberg.org/aloussase
Thoughtworks Cuenca, Ecuador
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Tucker Triggs
tuckpuck
Website developer | Cardano developer | Digital nomad
Tucker Triggs Development
smoge
smoge
Composer | Programmer | Musician | Performer | Crafting scores, sounds and code with equal passion. Exploring the intersections
adastack.io
adastackio
Cardano ecosystem explorer. Your guide to the latest DApps, tools, and resources.
TKnott
Tknott95
mostly private repos that will slowly be open-sourced but possibly can be half-baked at times (made some public repos private again. Some may go priv some pub)
Freelance Software Engineer Denver, CO
PreviousNext