Laurence Tratt
ltratt
Programmer, researcher. Software Development Team, King's College London
@softdevteam Somerset / London
Innes Anderson-Morrison
sminez
Senior software engineer at @canonical
Writing personal tooling for fun
Canonical York, UK
Rust Secure Code Working Group
rust-secure-code
Make it easy to write secure Rust code. Working group for supply chain security tools including @rustsec and `cargo-geiger`
Whisperfish
whisperfish
Unofficial Signal libraries and clients in Rust (join #whisperfish on Libera.chat or #whisperfish:rubdos.be on Matrix, see also https://gitlab.com/whisperfish)
Thomas Karpiniec
thombles
Australian dev specialising in native cross-platform/mobile nonsense. Slowly moving my own projects to my own site.
Tasmania, Australia
compilers-course-materials
Public mirror of course materials for my compilers course. Please do not make public forks with assignment solutions.
Servo
servo
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
gnzlbg
gnzlbg
Physics, HPC, Heterogeneous computing, SIMD, Systems programming, C++, Rust
RWTH Aachen University Munich, Germany
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
St. Jude Rust Labs
stjude-rust-labs
St. Jude's experimental Rust tools for the omics community.
Michael Dilger
mikedilger
npub1acg6thl5psv62405rljzkj8spesceyfz2c32udakc2ak0dmvfeyse9p35c
New Zealand
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Sage Gerard
zyrolasting
I'm a computer scientist with an extensive commercial background and a recovering inner-child. Racket is my language of choice.
Gerard Systems, LLC Atlanta, GA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
PreviousNext