Type check and prove things
- Silicon Valley
- paulyoung.me
- @py
Block or Report
Block or report paulyoung
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Adam Greig
adamgreig
🚀 engineer; also electronics, RF, signal processing & comms, embedded and scientific software, FPGAs, Rust. He/him.
Oxford, UK
James Munns
jamesmunns
Bringing Rust to new places, big and small. Available for consulting @OneVariable!
Resources Team @ Rust Embedded Working Group
Berlin, DE
Alexander Koz.
boozook
🦀 Rustacean. Haxe Ninja. Shaders, Fx, text-processors, compilers.
Software Engineer, Consultant, Game Developer & reverse-engineering enthusiast.
Earth
Jonathan Pallant
jonathanpallant
Rust developer and trainer.
This account is for work-related activities.
@ferrous-systems St Ives (Cambridgeshire), England
Jonathan 'theJPster' Pallant
thejpster
Embedded Developer. Pi Wars winner. Raspberry Pi fan. Member of @rust-embedded and @rust-embedded-community.
Cambridge, UK
scratchminer
Currently working on: Hexlet, a Hexheld emulator; Index OS, a custom launcher for the Playdate game console; no tea
Emil Fresk
korken89
PhD in Robotics, embedded Rust nerd, and machine vision hardware/software designer from Sweden.
Sweden
Michael Bock
thought2
Visonum (since 2023), @CirclesUBI (2021/22), @paritytech (2021),
@coyainsurance (2018/19) ...
#PureScript, #TypeScript, #Elm, #Nix
Berlin
Quint Daenen
q-uint
Captivated by (RFC) specifications. Some of my favourites: 2396, 5234, 7644 and 8949.
@0x51-dev @aviate-labs Brussels, Belgium
Jordan Last
lastmjs
Full-stack software developer focused on the web, distributed systems, blockchain, security, and open source.
Demergent Labs USA
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Ryan Vandersmith
rvanasa
I'm an enthusiastic full-stack web developer and software design consultant.
@dfinity
David Dal Busco
peterpeterparker
"They've done studies, you know. 60% of the time, it works every time." - Brian Fantana
Zürich, Switzerland
PreviousNext