Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Jason Wohlgemuth
jhwohlgemuth
Jesus follower. Husband. Father of 3. Progressive programming polyglot pursuing perfect software. Geospatial Data scientist @ORNL.
Oak Ridge National Laboratory Knoxville, TN
Tci Gravifer Fang
Gravifer
Stars are manual not crawled;
it's just mark-and-recapture searching.
Tsinghua University Beijing
Nicol
UltimaTerra
Enby self taught code 'Lizard Brain' . I have an interest in game development and systems, but I started this journey because of web dev, go figure.
Blackhat My Dreams
Jeffrey Laederach
JeffreyLaederach
Mechanical Engineering Major | Founder @vexergy
@vexergy New York, New York
Stephen Hedrick
CartesianXR7
⌁ Product Management
⌁ Data Intelligence ⌁ Machine Learning ⌁ Safety Critical Applications
⌁ OSS Advocate 🛠️👷♂️
AdaCore Austin, TX
Dami Izolan
dami-i
Software Developer @WeAreAxon | Business and Systems Analyst @Aussen-IT
Aussen Curitiba, Brazil
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Paulo Henrique Alves Pereira
PH536-UI
OLÁ ! SOU PAULO HENRIQUE ALVES PEREIRA, ATUALMENTE ESTUDANDO TÉCNOLOGO EM COMPUTAÇÃO EM NUVEM. FOCADO EM CERTIFICAÇÕES AWS .
PH Pereira São Paulo Piracicaba SP
Vishal
vishal-56
I'm a Computer Engineering student with expertise in Python, Java, web development, and machine learning, actively involved in tech communities.
Zakaria Fadli
zakaria1193
Embedded software by day (C/C++/python). On github i explore other stuff
PreviousNext