Skip to content
View leodemoura's full-sized avatar
745 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
@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 ChooChoo 🚂

@choochoohq San Francisco

@JGalego
João Galego JGalego
| Head of AI @ Critical Software 🤖 ⟩ ⊗ | Invited Professor @ ISEG/ULisboa 🧑‍🏫 ⟩ ⊗ | BCI Researcher 🧠🔌 ⟩ ⊗ | Quantum Hacker ⚛️👨‍💻⟩

Critical Software Lisbon, Portugal

@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@m9h
Morgan Hough m9h
Developmental Neurobiology @ OREL Community Manager @ NeuroTechX; Neurotech Lead @ Frontier Tower; Research and Development @ Biopunk Lab

@orel-group, @neurotechx, @frontier-tower San Francisco, CA

@varungupta
Varun Gupta varungupta

Bengaluru

@YanYablonovskiy
Yan Yablonovskiy YanYablonovskiy
PhD student, Monash University, Melbourne.

Australia

@wo-von
Sina Hosseinizad wo-von

Berlin

@DanielDirdal
DanielDirdal
@cauli
Cauli Ziani cauli

@getcircuit Denmark

@pradelf
Pradel Francis pradelf

Francis Pradel Consulting Paris

@vyorkin
Vasiliy Yorkin vyorkin
neurodivergent neurodegenerate

happy goose farmer ::1/128

@Murky666
HAMZA HALAOUAT ΞL ALAOUI Murky666

Anywhere the Internet is

@DisistiNao
Gabriel Saldanha DisistiNao
Science Computer Student at UFOP Computer Network Technician at CEFET-MG

Ufop Ouro Preto, MG

@13291114777
13291114777
@emilycodestar
Emily 💞 emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
@Lizn-zn
Zenan Li Lizn-zn
Happiness is assuming the world is linear
@astrochemx
Vladyslav Shevchenko astrochemx
🚀 JS, TS, C#, R, Python ✨ MD, PhD 🧬

Hobbyist Universe

@hypersimplex
yl hypersimplex
current interests: numerical solvers, PL, compiler

Milky Way

@shirangi
Mehrdad G Shirangi shirangi
AI & Data | Stanford PhD | Optimization

Blackmount.ai Inc. San Jose, CA

@can-keklik
V. Can Keklik can-keklik
author @lykia-rs

Istanbul, Turkey

@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@javathunderman
Arjun Vedantham javathunderman
PhD student currently at the University of Illinois Urbana-Champaign

/dev/null

@encosllo
Enric Cosme Llópez encosllo

València

@mrswopschall42
Robyn mrswopschall42
I like my hot things...HoT

Gathering research stage 70460

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@SteveWardson
Steve Ward SteveWardson

New York City

@malama996
malama arnold malama996
information technology expert
@Mar140-tech
Mar140-tech
@aneesh1213
Aneesh kulkarni aneesh1213
Keen learner and very passionate about software development !!

Pune

@anzhv17
Victoria A anzhv17

Earth

@stes
Steffen Schneider stes
PI @dynamical-inference lab | ML&stats for life sciences | Co-Founder @ki-macht-schule & @kinematik-ai | ex-@google PhD fellow, ex- @facebookresearch

@dynamical-inference @ki-macht-schule @kinematik-ai Munich

@nguyenvukhang
Khang nguyenvukhang

Singapore

@samdphillips
Sam Phillips samdphillips

Oakland, California

@sav
Savio Sena sav
@gabrielle-lima
Gabrielle Lima gabrielle-lima

São Paulo

@runbikeswim
Stefan Kusterer runbikeswim
see https://www.linkedin.com/in/stefankusterer/

SAP SE Near Heidelberg, Germany

@dkapt
Dimitrios Kapetanios dkapt

Greece

@liabcadalincadalin-tech
liabcadalincadalin-tech
@MaryemSaleem0777
Maryammajeed0777 MaryemSaleem0777
@yezhuoyang
John ye yezhuoyang
I'm now a PHD student in UCLA studying quantum technology and quantum information. My email address: yezhuoyang@cs.ucla.edu

Los Angeles, California

@Joseph-Christian251
Joseph Christian Joseph-Christian251
@lucazulian
luca zulian lucazulian
software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time

Milan, Italy

@ghseeli
George H. Seelinger ghseeli
Former data scientist turned mathematician.

University of Michigan Ann Arbor, MI

@billythedummy
Han Yang billythedummy
@cjrl
Chris Lloyd cjrl

Federal Aviation Administration Washington, DC

@lalomorales22
lalo adrian morales lalomorales22
sd, ca | I make software for myself

@Comedeez-AI San Diego, CA

@abedesfandiari68
abedesfandiari68