Formal verification and programming languages researcher.
Highlights
- Pro
AbdallahRashed
AbdallahRashed
Embedded Sw Engineer, Passionate about linux kernel, Embedded linux, Bootloader
Valeo Egypt
Kağan Ege
kaganege
Full-Stack Software Developer. I am proficient in JavaScript, Rust, and C++ programming languages.
Student Türkiye
İzzet Emre Demir
izzetemredemir
Working on ZK, Blockchain, and AI agents | Building at @First-Point
FirstPoint Türkiye
Cenk Yenikoylu
mcyenikoylu
With more than 15+ years of experience in Software development. Spailor LLC is a bespoke software development company.
@spailor United States
Özhan Gebeşoğlu
ozhangebesoglu
I study at Mersin University in the Department of Information Systems and Technologies.
Istanbul
Eren
Berikai
Can you prove anything exists outside your own mind?
Izmir University of Economics İzmir
Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
Yuto Takano
yutotakano
CS Masters student at ETH Zurich. Contributor to @compsoc-edinburgh, @VIS-ETH, and @discord-haskell.
ETH Zürich Zürich, CH
Ram Karthikeya Musti
randomalphanumerics
BITS Hyderabad Computer Science + Iowa State University Computer Engineering
PreviousNext