reuvenpo
Follow
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Kevin
pynezz
Programming, technology, information security, and Linux enjoyer with a bachelors in cyber security.
Norway
Stéphane P
n3wborn
Currently web developper, mainly playing with @symfony. Love linux/OSS philosophy. Always eager to improve my skills and learn new ones.
France
NEUROMASTER - Binance Smart Chain - NEURODEX
neuromaster
#NEUROMASTER $NXR $NEURODEX NEUROVERSE + CRYPTOMUSIC
$65ROSES
Cystic Fibrosis Universal Development
NEUROMASTER NEUROVERSE
Marston Connell
TheMarstonConnell
Blockchain Engineer. Minecraft Modder. Overall fan of cats.
JACKAL CTO
@JackalLabs Waterloo, Canada
mradkov
Founder of @hackbg, full-stack blockchain developer 👾
I build meaningful free open source software that helps people ...
@hackbg the matrix
Matías Agustín Méndez
matagus
I miss the old Github feed / activity stream. @matorral-project | @django-planet
Chicago, IL
Amidamaru
thaodt
a Rust nerd 🦀, also be a pet lover with passion to build the nice things.
Interested in dealing with distributed systems, obsessed by PL Theory.
@LitheumOrg Ho Chi Minh