Skip to content
View martinescardo's full-sized avatar

Block or report martinescardo

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
@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote

🤖 Vietnam

@intagkas
Ioannis G. Ntagkas intagkas
Data Science (MSc) Philosophy & History of Science (BSc)

Athens, Greece

@emilycodestar
Emily 💞 emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
@GodelianSentence
AnalyticSort GodelianSentence
Formal methods enthusiast and wannabe logician.
@SeriousBusiness99
SeriousBusiness99
i have no mouth and i must beatbox
@lucianchauvin
Lucian lucianchauvin
Undergraduate in pure mathematics and computer science. Meow :3

Texas A&M University Austin/College Station

@oneofvalts
Abdullah Uyu oneofvalts
Mathematics Graduate
@zant
zant
typist
@atomC-1
nmac atomC-1
Researcher/Developer/AI learner

South Korea

@myrmlbst
Myriam myrmlbst
bassist, bookworm, polyglot, software developer

Lebanon

@fNBU
Adam Layne fNBU
I'm a Mathematician formerly working in academia. My interests are in mathematical modeling PDE, FP, and safety assurance of software.

Oregon, USA

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@bmorphism
Barton Rhodes bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency being exerted on systems"

@plurigrid san francisco

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@SermetPekin
Sermet Pekin SermetPekin
Senior Specialist | Economics & Finance | Data Science & AI | C++ · Python · R | Open Source Creator | Internal Trainer
@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@ciceropaulino
Cicero ciceropaulino
Hi! My name is Cicero. I am currently a graduate student in Information Technology at the Federal University of Rio Grande do Norte. 👨🏻‍🎓

Natal/RN - Brasil

@djtrack16
Darius Liddell djtrack16
books, code, aestheticism, and all the rest
@kands-code
Kevin Stephen kands-code
I am nobody but love kiyohi.

China

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@damhiya
Soonwon Moon damhiya

Seoul, Republic of Korea

@hmyuuu
Huai-Ming Yu hmyuuu
homines quo plura habent, eo ampliora cupiunt
@RWUSTC
Hefeng Xu RWUSTC
Hefeng Xu here, undergraduate at University of Science and Technology of China. hep-th/math-ph/math.AG

HEP-TH@USTC / FB Mathematik@RPTU-KL

@kentookura
Kento Okura kentookura
Working on forester.
@jakub-oprsal
Jakub Opršal jakub-oprsal

University of Birmingham