Skip to content
View leodemoura's full-sized avatar
792 followers · 3 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx4

Organizations

@leanprover @IMO-grand-challenge

Block or report leodemoura

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Mutaz94
Mutaz M. Jaber Mutaz94
Researcher in pharmacometrics and computational statistics

Gilead Sciences, Inc. Foster City, CA

@storopoli
Jose Storopoli storopoli
"Cypherpunks write code" 🔑 0x1BD38BE8D0653A7A

@AlpenLabs localhost

@tornado80
Amirhosein Rajabi tornado80
SECCLO@Aalto&DTU

Aalto University Helsinki, Finland

@Yoona28
Yoona28
@Xinze-Li-Moqian
Moqian Xinze-Li-Moqian
I share ideas, tools, concepts, and inspirations — anything that I find worth thinking about
@rasidi3112
Ahmad-Rasidi rasidi3112
AI & Quantum Computing | Building Interactive Learning Apps | Python, Flutter | Exploring Next-Generation Quantum Classical AI

Lombok, Indonesia

@guilhermemarch
Guilherme Marschall guilhermemarch
backend developer - AWS Certified linkedin.com/in/guilhermemarschall/ guilhermemarschall.com.br

cerro largo rs

@volodeyka
Vladimir Gladshtein volodeyka
I do formal verification with interactive theorem provers

National University of Singapore Singapore

@shunkakinoki
Shun Kakinoki shunkakinoki
OBLITERATE THE GALAXY

@0xSequence

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@MargaritaRomani
MargaritaRomani
@0stellensatz
Hyeon, Seung-Hyeon 0stellensatz

Tokyo, Japan

@DIRTYBOXING
dirtyboxer DIRTYBOXING
learning devolopments

dirtyboxer Australia

@Georgeochoa52
George Ochoa Georgeochoa52

Capstone mechanical Waco Texas

@lukmankasimbalarabe215-cpu
Am.GLKMB lukmankasimbalarabe215-cpu
My mom's is my life
@arnesssr
arnesssr arnesssr

Earth

@Maher-bouchrara
Maher Bouchrara Maher-bouchrara
Computer science student
@lawrenceobumneke5-art
Lawrence izum lawrenceobumneke5-art
Who is tampering with this account you have to stop this right now
@Dag-hub28
Dauglas Wanyonyi Dag-hub28
Hi, I'm Dauglas Wanyonyi 💻 Web Developer | JavaScript Enthusiast | Problem Solver I build clean, user-friendly web applications and small tools

Nairobi

@ret2zhao
ret2zhao ret2zhao
2x CVE | 🦀Rustacean | Security Researcher | Reverse Engineer | Exploit Developer | CISSP & CCSP & CISM & CISA

Fortinet | Georgia Tech Vancouver, Shanghai

@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@Daxxtropezz
美良森 潤雅 Daxxtropezz
┌──(kali㉿daxxy)-[~/CRTA/CEH/CRT-ID] └─$ CyberGeek / RedTeam / DevOps Engr. | Data Security, AI/ML

Founder of @clever-gang Syntax Error: Location Undefined

@lin72h
lin72h
@dhsorens
Derek Sorensen dhsorens
protocol snarkification at @ethereum

Ethereum Foundation

@dalima-dev
Daniel Alves dalima-dev
Web developer at @mobliveweb.

@mobliveweb Recife, Pernambuco - Brazil

@leideng
Lei Deng leideng

Hong Kong

@elgerytme
Andrew Meier elgerytme
@m0n0ph1
MB m0n0ph1
@C5Hwang
Shaohuang Chen C5Hwang
@WalrusGumboot
Simeon Duwel WalrusGumboot

@vikingco

@syphrpunk
DK syphrpunk
Blockchain Ops, Legal, Strategy, Philosophy, Meta-Economics, Org Structures, Governance Paradigms

@premian-labs, @poweredbyanons, @premia-frontend, @premia-gov .hack//MetaVerse

@mastersilvio
Sílvio Meireles mastersilvio
CTO - Easy Pallet

Easy Pallet Brasil

@kritikamalviya90
kritika Malviya kritikamalviya90
Frontend Developer | React.js | JavaScript | HTML | CSS Building responsive & user-friendly web apps

Indore

@kritikaMalviyaCodervu
kritikaMalviyaCodervu
@Bkwilson78
Bkwilson78
@blessedkamsy
blessedkamsy
@aniekanfrank
Aniekan Frank aniekanfrank
Aspiring DevOps Engineer | AWS Certified | HNG13 Intern
@Poornesh-git
Poornesh Allam Poornesh-git

Sullurpeta

@gtkk98
Thilina Kumarasiri gtkk98
BSE Undergraduate at Open University of Sri Lanka

Sri Lanka, Gampaha

@petrol123
petrol123 petrol123

USA

@PhysShell
PhysShell
@Anurag1
Anurag1
@ashleyustk88-hub
Htoi San Labang ashleyustk88-hub
@Codinglone
Fabrice Codinglone
🚀 AI & Software Engineer

Digital Umuganda Milky-way galaxy, Planet Earth

@mediaexpert0247-commits
mediaexpert0247-commits
@rabbitd3v
rabbitd3v rabbitd3v
@mohamedbouddi7777-dev
mohamedbouddi7777-dev
@samwithdirt
samwithdirt
@muhammadtaufiqsh14-sys
muhammadtaufiqsh14-sys
@sonusah77
Sonu Kumar Sah sonusah77