Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things

Organizations

@codebase-labs
Block or Report

Block or report paulyoung

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@miselin
Matt Iselin miselin

@replit Mountain View, CA

@adamgreig
Adam Greig adamgreig
🚀 engineer; also electronics, RF, signal processing & comms, embedded and scientific software, FPGAs, Rust. He/him.

Oxford, UK

@jamesmunns
James Munns jamesmunns
Bringing Rust to new places, big and small. Available for consulting @OneVariable! Resources Team @ Rust Embedded Working Group

Berlin, DE

@adamsoutar
Adam Soutar adamsoutar
Games / Compilers / Emulators / Apps / Web

England

@boozook
Alexander Koz. boozook
🦀 Rustacean. Haxe Ninja. Shaders, Fx, text-processors, compilers. Software Engineer, Consultant, Game Developer & reverse-engineering enthusiast.

Earth

@christiaanb
Christiaan Baaij christiaanb

QBayLogic Enschede, The Netherlands

@gergoerdi
Gergő Érdi gergoerdi
Finite tape Turing machine
@tonyb650
Anthony Brierly tonyb650
Aspiring software developer.

Mountain View, CA

@knurling-rs
Knurling knurling-rs
Get a handle on bare metal Rust
@jonathanpallant
Jonathan Pallant jonathanpallant
Rust developer and trainer. This account is for work-related activities.

@ferrous-systems St Ives (Cambridgeshire), England

@thejpster
Jonathan 'theJPster' Pallant thejpster
Embedded Developer. Pi Wars winner. Raspberry Pi fan. Member of @rust-embedded and @rust-embedded-community.

Cambridge, UK

@scratchminer
scratchminer
Currently working on: Hexlet, a Hexheld emulator; Index OS, a custom launcher for the Playdate game console; no tea
@stuffbyrae
rae stuffbyrae
Howdy, I'm Rae. Nice to meet you!
@DioxusLabs
Dioxus Labs DioxusLabs
Fullstack app framework for web, desktop, mobile, and more.
@jkelleyrtp
Jonathan Kelley jkelleyrtp
Creator @DioxusLabs

Dioxus Labs San Francisco, CA

@korken89
Emil Fresk korken89
PhD in Robotics, embedded Rust nerd, and machine vision hardware/software designer from Sweden.

Sweden

@diondokter
Dion Dokter diondokter
I love embedded and I love Rust.

@tweedegolf Nederland

@thought2
Michael Bock thought2
Visonum (since 2023), @CirclesUBI (2021/22), @paritytech (2021), @coyainsurance (2018/19) ... #PureScript, #TypeScript, #Elm, #Nix

Berlin

@tomijaga
Tomi Jaga tomijaga
CS @ Carleton University

Ontario, Canada

@martinvonz
Martin von Zweigbergk martinvonz
Works on source control at Google

Google Mountain View, CA, USA

@wyattbenno777
Wyatt Benno wyattbenno777
Building and contributing to modern ZKP schemes.

Tokyo

@q-uint
Quint Daenen q-uint
Captivated by (RFC) specifications. Some of my favourites: 2396, 5234, 7644 and 8949.

@0x51-dev @aviate-labs Brussels, Belgium

@lastmjs
Jordan Last lastmjs
Full-stack software developer focused on the web, distributed systems, blockchain, security, and open source.

Demergent Labs USA

@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@ozwaldorf
ozwaldorf
dont panic!

@fleek-network

@halogenandtoast
Matthew Mongeau halogenandtoast
Haskell developer working at Mercury

@MercuryTechnologies Tokyo, JP

@rvanasa
Ryan Vandersmith rvanasa
I'm an enthusiastic full-stack web developer and software design consultant.

@dfinity

@peterpeterparker
David Dal Busco peterpeterparker
"They've done studies, you know. 60% of the time, it works every time." - Brian Fantana

Zürich, Switzerland

@JordanMartinez
JordanMartinez
Former PureScript core team member

USA

@rckprtr
Rick Porter rckprtr
Human #493891239123

DSCVR, ex-Google Portland

@jsoo1
John Soo jsoo1
fp and math enthusiast in southern california.

Santa Ana, CA

@krpeacock
Kai Peacock krpeacock
Software Engineer, SDK team lead @dfinity

@dfinity San Francisco