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
@rdicosmo
Roberto Di Cosmo rdicosmo

Software Heritage, Inria and University Paris Cité Paris

@bobot
François Bobot bobot

CEA LIST Orsay, France

@stephrobert
Stéphane ROBERT stephrobert
I'm Stephane, Infrastructure Enginer from Lille, France. I like to share my knowledges. You can access all examples from my blog in my projects.

Outscale France Lille

@FiloSottile
Filippo Valsorda FiloSottile
Cryptogopher. @recursecenter alum. RC F'13, F2'17.

Rome, Italy

@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

@oteku
Thomas Haessle oteku

@Marigold Lille

@utterance
utterances utterance
A lightweight comments widget built on GitHub issues
@robur-coop
robur robur-coop
The robur collective
@sabine
sabine sabine
When I don't go down rabbit holes, I might do useful things.

Saarbruecken, Germany

@MNassimM
Nassim Mourabit MNassimM
Nassim MOURABIT
@CJs0800
CJs0800

Toulouse

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@formal-land
Formal Land formal-land
Formal Verification for Web3
@agrn
agrn
@Plictox
Plictox
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@Brotherta
Antoine-Vidal-Mazuy Brotherta
Working from home. Student in first year of Computing Master.

Inria Sophia Antipolis Space

@11ty
Eleventy 11ty
A simpler site generator.

Wherever JavaScript is sold

@shprink
Julien Renaux shprink
#Angular #Stencil #litElement #React Addict, Freelancer @toptal, ex @eBay

@toptal Toulouse, France

@johannesjo
Johannes Millan johannesjo
I love programming!

Frontend Developer Berlin

@smondet
Seb Mondet smondet

New York, NY

@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@catalin-hritcu
Catalin Hritcu catalin-hritcu
Tenured Faculty at MPI-SP

Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany

@hernoufM
Mohamed Hernouf hernoufM

OcamlPro Paris, France

@hannesm
Hannes Mehnert hannesm

@robur-coop

@klakplok
Benjamin Canou klakplok
@ruuda
Ruud van Asseldonk ruuda

The Netherlands

@M2DL-IVVQ-DevOps
M2DL-IVVQ-DevOps
Univ. Paul Sabatier - M2 SDL - UE DevOps

Toulouse, France

@Sydher
Hugo Clément Sydher
Software Engineer

Capgemini Toulouse, France

@leostera
Leandro Ostera leostera

@AbstractMachinesLab Stockholm

@YannickChevalier
Yannick Chevalier YannickChevalier
Assistant professor at Université de Toulouse (France)

IRIT, Université Paul Sabatier Toulouse 3 Toulouse, France

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

Philadelphia

@hrant2001
Hrant Arakelyan hrant2001
@jhjourdan
Jacques-Henri Jourdan jhjourdan

CNRS, LMF Paris

@charguer
Arthur Charguéraud charguer
@fpottier
François Pottier fpottier

Inria Paris, France

@nobrakal
Alexandre Moine nobrakal

New York - USA

@INRIA
Inria INRIA
National Institute for Research in Digital Science and Technology

France

@tarides
Tarides tarides
Building Functional Systems

France

@Alizter
Ali Caglayan Alizter

London, United Kingdom

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

Toulouse, France

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

Capgemini France

@UE-WebX
UE WebX UE-WebX
Univ. Paul Sabatier - M1 DL/IHM - UE WebX

Toulouse, France

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@lsylvestre
lsylvestre
@Rialy
Rialy
@tdurieux
Thomas Durieux tdurieux