Skip to content
View ejgallego's full-sized avatar
180 followers · 6 following

Achievements

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

Achievements

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

Organizations

@rocq-prover @jscoq

Block or report ejgallego

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@wutheringheight
╰┈➤ ⠀🎞️ ⠀⌗ cathy wutheringheight
¬ ⠀ ‖ ⠀ ↳⠀ main @PhilosopherPrince ⠀ . ⠀ 🧸 ^◡^
@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

Jobleap.cn Japan

@bookofvengeance
bookofvengeance
probably alien stage fan⠀⠀⠀⠀ ⠀⠀⠀⠀@saingeom (replacement account → @lcbdon )
@lamg
Luis Ángel Méndez Gort lamg
Solving problems

Germany

@Nistavilo
A. Emirhan Korkmaz Nistavilo
Junior

Turkey

@parkashkumarcs
Parkash Kumar parkashkumarcs
Computer Science graduate

Karachi

@cryostatism
kiru / mac cryostatism
feel free to int w/ me, if upset be xtra careful! i might be non-verbal cause i am shy. ,, if u find me interesting..lets be oomfs!! . alt --> @flowerknightzam

DISCORD: plutonashin3d [ usually offtab, afk, or busy. ]

@0joseDark
jose 0joseDark
lover of science, biology and robotics, and programming is fun

Barreiro, Portugal

@Beauty-Smile
Beauty-Smile
愛してる、愛してる、愛してる ✝︎ ヾ(＾-＾)ノ @Pr3ttyPr1incess @polskipierog @cyb3rzparadise @quincedhearts @xaristu > I love you guys. ˙˚ʚ(´◡`)ɞ˚˙

𝓕𝓸𝓻 𝓽𝓱𝓮 𝓵𝓸𝓿𝓮 𝓸𝓯 𝓰𝓸𝓭 ! (づ￣ ³￣)づ ♥︎

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@zhansong01
Zhan Song zhansong01

University of Maryland, College Park DMV metro

@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.

ENS Paris-Saclay Paris, France

@rudynicolop
Rudy Peterson rudynicolop
@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@SafariBookingsHub
MB SafariBookingsHub
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@leana8959
Plume leana8959
aka Léana aka Primrose

France

@Basant1Saini
Basant saini Basant1Saini
Backend Dev. Movies, series, games (Chess, PUBG, GTA V), music (Punjabi & Rajasthani).

Not yet Jaipur, rajasthan

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@12ELICHA34
Ishema Elicha promesse 12ELICHA34
GOD is Able 🙏🤞💯

apade schl kicukiro

@gustavodiasag
Gustavo Dias de Aguiar gustavodiasag
Deeply interested in highly performant systems and languages

@terramagna Belo Horizonte, Brazil

@tannal
tannal tannal
💻 Programming 💿 Free software 🎹Music
@AURAnarchist
AURAnarchist AURAnarchist
i use arch btw
@mlelarge
Marc Lelarge mlelarge

Paris

@amdzre
Sói amdzre
@qcfu-bu
Qiancheng Fu qcfu-bu
PhD candidate @ Boston University

Boston, MA

@ajgallardogomez
ajgallardogomez
@masterwww1
MasterWWW masterwww1
Senior Full Stack Engineer - React | React Native | Node.js | TypeScript | JavaScript | HTML | CSS | Next.js | Nest.js | MySQL | MongoDB
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@AbooMinister25
Rayyan Cyclegar AbooMinister25
Incoming CS student at Purdue University. Staff at @python-discord.

@python-discord @vipyrsec Washington D.C.

@BigHouse0405
World BigHouse0405
Full Stack Engineer | IPTV App Developer | LLM & Python Expert | AI Agent Specialist | Mobile & Streaming Solutions
@Hacker-Code-J
Ji, Yong-Hyeon Hacker-Code-J
@Rw1nd
Jian Fang Rw1nd
I'm interesting in software verification.

Peking University Beijing, China

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

Xanadu Canada

@matteobusi
Matteo Busi matteobusi
Researcher at the Ca' Foscari University of Venice. Formal methods and security.

Italy

@start974
Jeremy Damour start974

Paris

@M-krishna
Krishna M-krishna
just hanging in there

Pluralsight Bangalore, India

@Adrien-No
adrien Adrien-No
@sjxer723
Jiaxin Song sjxer723
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@otaviocarvalho
Otávio Carvalho otaviocarvalho

Earth

@senthil28
senthil28
@josecastillolema
José Castillo Lema josecastillolema
Software Engineer

Red Hat Madrid, Spain

@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@gdiazlo
Gabriel Díaz gdiazlo

Madrid

@himito
Jaime Arias Almeida himito
CNRS Research Engineer at LIPN - Université Sorbonne Paris Nord.

CNRS France

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@Mohamed988o
Mohamed988o
@Freakwill
William Song Freakwill
Everything is possible but with a certain probability.

BIMSA China