Skip to content
View erikmd's full-sized avatar
🐓
I get many notifications; might not see your @mention: email me also if need be!
🐓
I get many notifications; might not see your @mention: email me also if need be!
93 followers · 210 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@rocq-prover @math-comp @ProofGeneral @ocaml-sf @rocq-community @validsdp @pfitaxel @UPS-ILU @learn-ocaml-community

Block or report erikmd

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
@24601
Basit Mustafa 24601
You're absolutely right!

CTO @ Procurement Sciences Telluride, CO

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@Maxxum69
Maxxxum007 Maxxum69
Liberté d'expression québécoise 🔞⚜️Maxxxum007 MDSP

Maxxxum007 Quebec

@CJs0800
CJs0800

Toulouse

@gustavovzqz
Gustavo Vazquez gustavovzqz

Universidade Federal do Ceará Brazil

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

INRIA Saclay Saclay

@kenza-ux
kenza-ux
@Chobbes
Calvin Beck Chobbes

Philadelphia

@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

@cloudhighfive
cloudhighfive
Always do what you are afraid to do.
@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@grayswandyr
David Chemouil grayswandyr
Comp. sci. senior researcher and teacher, occasional programmer, free software advocate

ONERA Toulouse, France

@qwerty643735
Artur qwerty643735
@MA-BOUSSOUALEF
Boussoualef Mohamed Amine MA-BOUSSOUALEF
Computer Science Student | IA and Data Engineering

france

@witchbladeess
FILIUSHKINA Oleksandra witchbladeess
@george0st
jist george0st
The architect with an overlap into development and analysis. "Almost everything is possible, it's just a matter of time⌚, resources💰 and quality⭐"

Europe, Czech Republic, Prague

@AYUSHMIT
aapp AYUSHMIT

USA

@david-vct
David Vicente david-vct
Another Full Stack Developer 🧙‍♂️✨

Toulouse, France

@seniorvuejsdeveloper
Senior Vue.js Developer seniorvuejsdeveloper
Senior Vue.js Developer with a passion for crafting exceptional web applications. With expertise in 🌟 Vue.js, 🚀 Nuxt.js, and ⚙️ Node.js 💻🚀 @mustafacagri

Vue Companies Istanbul

@axellaffite
Axel Laffite axellaffite
Backend developer at Pictarine 🚀

Pictarine Toulouse

@Connor9994
Connor Connor9994
@chunvanlierop
chunvanlierop
ICT, organization, finance and life: empowerment ignites! Strengthening individuals, and stimulating growth through optimism and pragmatism

Amsterdam

@philip-peterson
Philip Peterson philip-peterson
Fighting for the user!! OSS contributor, Digital Northwest (Alaska, Washington, Oregon)

Portland, OR

@start974
Jeremy Damour start974

Paris

@Adrien-No
adrien Adrien-No
@nicolasAmat
Nicolas Amat nicolasAmat
Research Scientist at ONERA, The French Aerospace Lab | Participant in the Model Checking Contest

ONERA, The French Aerospace Lab Toulouse, France

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

Xanadu Canada

@devopspass
DevOps Pass AI devopspass
Don't learn DevOps tools, play with them!

DevOps Pass AI

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

Taipei, Taiwan

@Neustradamus
Neustradamus Neustradamus
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@Rosillosaringo9
Rosillosaringo9
@thomas-rx
Thomas Roux thomas-rx
Currently working on @FillzzCo. Apprentice Software Engineer at @Capgemini.

Capgemini France

@haddad-mk
HADDAD_MK haddad-mk
@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

@drexalt
Jonah Turner drexalt
Master's student Toulouse 3 Paul Sabatier

Toulouse, France

@pi8027
Kazuhiko Sakaguchi pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

CNRS, ENS de Lyon, UCBL, LIP Lyon, France

@Sylver747
Tommy Sylver747
@xsphinx3
xsphinx3
@ericlee33
Eric Lee ericlee33
A Rust & Node.js Lover 🌱 :) Let tools change the ecology 🧚🏻‍♂️

@ByteDance Beijing

@SeshatCZ
SeshatCZ

Czech republic

@wayou
牛さん wayou

disney resort

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

CNRS France

@Yukams
Yukams
@Mich2035
Mich2035
@hgdly
Hugo hgdly

Toulouse

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)