Skip to content
View erikmd's full-sized avatar
🐓
🐓

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

@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

@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

@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

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

france

@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

@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

@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

@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

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

Taipei, Taiwan

@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

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

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

@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

@SeshatCZ
SeshatCZ

Czech republic

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

CNRS France