Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
hecate cantus
PandorasFox
infra SRE, formerly YouTube CDN. ergonomic keyboard enjoyer, wayland zealot.
David Whitlock
riverrun
Software developer and teacher - enthusiastic about open source, security, different languages and generally learning more.
Chiang Mai, Thailand
june
causal-agent
Millennial princess. Artisanal programmer.
I don't use GitHub anymore.
Montréal, Québec
Simon Ser
emersion
I work on open-source software.
Most of my other contributions are on Codeberg and gitlab.freedesktop.org.
France
Jack J Garzella
jjgarzella
I am a Math PhD Student at UCSD. I started off programming iOS Apps in Objective-C, and I'm a huge fan of Swift, Julia, and Rust.
Jari Vetoniemi
Cloudef
Available for contract work⠀ ⠀ ⠀ ⠀ ⠀ ⠀ 委託契約書の機会を探しています
Saatavilla konsulttina
Tokyo, Japan