Skip to content
View erikmd's full-sized avatar
🐓
🐓
96 followers · 215 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

Organizations

@rocq-community @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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@gr-im
Pierre R. gr-im
I like to contribute to my friends' projects, especially if they are in OCaml...

@funkywork Florence

@LordVinzz
Vincent LordVinzz
"An infinite fractal of light every grain contains them all" ~ Monuments - Regenerate 2013

@HeraclesTeam France

@S4IL21
S4IL S4IL21
Code. Learn. Repeat. 🧑‍💻

Tatom [Owner] Barcelona, Spain

@Justme0606
Sylvain Borgogno Justme0606

Inria - SED Sophia-Antipolis

@rlova
rlova
@dkapt
Dimitrios Kapetanios dkapt

Greece

@motanelson
nelson jr mota motanelson
Liberty

https://youtube.com/@nelsonmotamota-e5j Portugal, lisbon

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka

@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
On a mission to fix all this broken code 🎻🎹👨‍💻

Seattle, WA

@start974
Jeremy Damour start974

Paris

@Adrien-No
adrien Adrien-No
I used to code with functions, and now I focus on programming Turing machines and cellular automata.
@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
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

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 https://linktr.ee/h4km discord account m1337d

@meta-introspector New Jersey

@Rosillosaringo9
Rosillosaringo9
@thomas-rx
Thomas Roux thomas-rx
Currently working on @KlaappInc.

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

Gangnam, Seoul

@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
@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