Rocq-community
Users following rocq-community
Ethan Reece
sudoer777
Interested in Nix, Linux, Rust, systems, and DevOps. See Codeberg for my main projects.
Kim Voellinger
KimVoellinger
I am a postdoctoral researcher on formal methods for trustworthy ml @verinncoq.
Technische Universität Berlin Berlin, Germany
Charles Averill
CharlesAverill
UTD CS PhD, losing my mind grading
@SoftwareLanguagesSecurityLab Dallas
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Marouane Skandaji
marouenes
The Grug Brained Developer
Big Data Engineer / SW Developer Budapest, Hungary
Johnny Santamaria
johnny603
# Hi there! I'm Johnny Santamaria 👋
I'm a Computer Science student passionate about software engineering and user experience.
San Francisco, California
Kairm Merhom
karimmerhom
Software Engineer at Cypod Solutions Graduated from Computer Science Engineering from GUC.
Cypod solutions Cairo, Egypt
Rustam Uzairov
voriazu
@svrvt is my basic account. This is where I put areas that don't overlap with my profession.
Gary Klimowicz
gklimowicz
Converting shallow understanding to misunderstanding since 1955.
Dancing Bear Software Portland, OR
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Flávio Pavim
flaviopavim
Skills with lot types of softwares:
Web, Desktop, Mobile -
Php&MySql, Javascript, Html, Css, Python, Dart, Java, C, C++, C#, Arduino
WhiteHats
PreviousNext