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 · 212 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
@ghuysmans
ghuysmans

Belgium

@soraros
soraros
@slr3073
Romain SALVAN slr3073
Full Stack Software Engineer 🚀

Genève, Suisse

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@phated
Blaine Bublitz phated

Phoenix, AZ

@nyazakaria
NYA Zakaria nyazakaria
Student

Paris

@BChaluleau
BChaluleau

Université Paul Sabatier Toulouse

@Hhhjnnjj
Hhhjnnjj
@VonC
VonC VonC
Answer questions about Git and GitHub since 2009 on Stack Overflow. Assist developers on Application Lifecycle Management-related tools.

France

@EmileRolley
Emile Rolley ⏚ EmileRolley
J'essaie de faire du mieux que je peux :)

@calinou-coop @publicodes @betagouv Toulouse

@akhaten
Jessy Khafif akhaten

Toulouse, France

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

Tsinghua University Beijing

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formal verification using proof assistants.

CISPA Helmholtz Center for Information Security Saarbrücken

@headdnclouds
Aliaa Alborhamy headdnclouds
Undergraduate software engineer 👩🏽‍💻

France

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@Torresangl925
Torresangl925
@matthieucabos
CABOS Matthieu matthieucabos
Python/Shell dev. Montpellier, France

Montpellier

@B4rkyB4rky
B4rkyB4rky
@jkb134
jkb134
Independent

My got hub Home

@richardlford
Richard L Ford richardlford
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@lanaflon
lanaflon
@BrunoPicolo
BrunoPicolo
@422404
Elyan Poujol 422404
Hi there ! My multiverse unique ID is 422404 but I'm also known by Elyan Poujol to mere humans.

The Great Fabric Of The Universe Ȟ̷̢͍̟͙̤͓̫̞̜̍̽̚͠ḙ̴̢͕̦̙̆̿r̷̰̟̺̳̰͇̦̾̇͐̍͑̿͘̚̚͝ͅe̴̛͍̖̪͗̒̋̅̒̇̑̓̉

@cesclass
Cyril Esclassan cesclass

Toulouse - FRANCE

@Kzamania
DURAND Maxime Kzamania
Former Student in Human-Computer Interaction in ENAC - Université Paul Sabatier (Toulouse, France) I'm pretty short and have long hair

@DCLL-MDL Toulouse

@thvnx
Laurent Thévenoux thvnx

@adacore

@MoussaOudihat
Oudihat Moussa MoussaOudihat
Devops

Paris France

@conao3
Naoya Yamashita conao3
Emacs, Clojure

Tokyo, Japan

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@NOualet
Nathan OUALET NOualet
Master Informatique spécialité IHM ( Interaction Homme-Machine): Angular, UX UI, Java

France

@vincentnam
Vincent-Nam DANG vincentnam
PhD fullstack data architect / DevOps ?

IRIT lab - Université Toulouse 3 Paul-Sabatier Toulouse, France

@junjihashimoto
junji hashimoto junjihashimoto

Japan

@wellington1993
Wellington Torrejais da Silva wellington1993
Brazilian Web Developer, System Analyst, Linux and Unix Enthusiast. Open source Lover.

Hotsoft Informática @hotsoft-desenv2 Maringá, Paraná, Brasil

@Anthonyplace
Anthony Place Anthonyplace

Toulouse

@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France

@Naereen
Lilian Besson Naereen
Full-time teacher of computer science in Classes Préparatoires MP2I in Strasbourg in France. Passionate Magic: the Gathering player and active L1 judge.

Lycée Kléber | Éducation Nationale Strasbourg, France

@Jean-py
Riviere Jean-Philippe Jean-py
@alagane
Alexandre Lagane alagane
I am a biological machine, engaging in activities that stimulate my senses with the intention of experiencing pleasure and cultivating happiness.

@LINAGORA Toulouse, France

@NitriKx
Benoît Sauvère NitriKx

@BackMarket Toulouse, France