The Standard ML Language Family
SMLFamily
This organization maintains the various definitions of Standard ML.
Keiko Nakata
keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
Youyou Cong
YouyouCong
I am a native speaker of delimited continuations.
Institute of Science Tokyo Tokyo, Japan
Brendan Eich
BrendanEich
Founder & CEO, Brave Software. Created JavaScript. Co-founded Mozilla and Firefox.
@brave
Bob Nystrom
munificent
Programming language developer, ex-game developer, UI nerd, author of "Game Programming Patterns" and "Crafting Interpreters".
@google, on @dart-lang Seattle, WA
Rust Foundation
rustfoundation
An independent non-profit organization to steward the Rust programming language and ecosystem
HKUST TACO Lab
hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST
Hong Kong
Barry Jay
barry-jay-personal
I've left the university to work on my book and explore other opportunities
self-employed Sydney, Australia
Leni Aniva
lenianiva
Researcher in Machine-Assisted Theorem Proving;
Director of NorCal Hakkero Factory No. 1
Stanford University Centaur Lab San Francisco Bay Area, Gensokyo
Henning Dieterichs
hediet
Let's build the software of the future! Working on VS Code @microsoft.
Microsoft Zurich
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
PreviousNext