Skip to content
View leodemoura's full-sized avatar
833 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
@Yoona28
Yoona28
@Xinze-Li-Moqian
Moqian Xinze-Li-Moqian
I share ideas, tools, concepts, and inspirations — anything that I find worth thinking about
@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
John Paul Miraflores Daxxtropezz
┌──(kali㉿daxxy)-[~/CRTA/CEH/CRT-ID] └─$ RedTeam / DevOps Engr. | Data Security, AI/ML

Founder of @clever-gang Syntax Error: Location Undefined

@lin72h
lin72h
@dhsorens
Derek Sorensen dhsorens
protocol snarkification @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
@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 | Python (Django) & Java (Spring Boot) Developer | REST API Builder | MySQL | Passionate about clean, scalable backend systems

Sri Lanka, Gampaha

@petrol123
petrol123 petrol123
I’m an independent thinker exploring how artificial intelligence can better understand emotion—not just as data, but as a functional compass for cognition.

Private USA

@PhysShell
PhysShell
@Anurag1
Unbreakable242784 Anurag1

AI Evolution India

@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
@samwithdirt
samwithdirt
@muhammadtaufiqsh14-sys
muhammadtaufiqsh14-sys
@sonusah77
Sonu Kumar Sah sonusah77
@Trojan3877
Corey Leath Trojan3877
Hi, I’m Corey Leath, AI / ML & Software Developer focused on Python, data-driven systems, and applied machine learning. I build real projects end-to-end.

Garfield Heights Ohio

@PedroRosalba
pdrosalba PedroRosalba
@aosjmi
aosjmi
@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Portugal

@fxrcode
. fxrcode
OS/DB, Dist Sys, Agentic AI

The net is vast and infinite

@alexrigler
Alex Rigler alexrigler
building a context mesh to keep AI agents on track

@choochoo-works San Francisco