Yu-zh
Follow
Derek Schuff
dschuff
Yet another compiler compiler.
I work on WebAssembly, LLVM, Native Client, and Chromium.
Google The Internets
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
Andreas Kling
awesomekling
Building a truly independent web browser with the help of friends around the world :^)
@LadybirdBrowser Sweden
Adrian Sampson
sampsyo
Hi! I'm a terrifying Cornell professor, the kindly progenitor of @beetbox, and pretty into The Magnetic Fields. 6'2".
Cornell University Ithaca, NY
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
Henry.H
hhstore
🔥️#Mojo 🎯#Flutter 🦀#Rust 🐹#Golang ⚡#Zig 🐍#Python
#Docker #K8S #DevOps
#Bitcoin ₿ #Ethereum ⟠ #Polkadot #10+YearsCoder
Indie Hacker Shanghai, China
Emilio Jesús Gallego Arias
ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Inria Paris
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
Inria Saclay Saclay
Ömer Sinan Ağacan
osa1
I like programming languages and compilers. Working on @dart-lang at @google.
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Jiacai Liu
jiacai2050
Rust developer at day and Zig at night.
Host of @EmacsTalk and @RustTalk.
/Galaxy/Mars
Sora Morimoto
smorimoto
@ocaml @tc39 Cambridge, UK / Tokyo, Japan
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Rynco Maekawa
lynzrand
"Never tried hard before, But dreamt to be special."
Mainly doing compilers, but interested in everything.
C++ / Rust / C# / Typescript;
en_US / zh_CN.
@moonbitlang AS13-November-01
PreviousNext