Users following well-typed
Minh Bui
Minhcardanian
Blockchain Developer : Cardano | Aiken/Plutus/Marlowe |
Intersect Delegated Representative
Tci Gravifer Fang
Gravifer
Stars are manual not crawled;
it's just mark-and-recapture searching.
Tsinghua University Beijing
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
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
Bernardo
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