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

@coq @math-comp @ProofGeneral @ocaml-sf @coq-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
@loujaybee
Lou Bichard loujaybee
Product Manager @gitpod-io

gitpod.io London

@mustard-mh
mustard mustard-mh
@filiptronicek
Filip Troníček filiptronicek
Confused with Open VSX, VS Code and so much more @gitpod-io

@gitpod-io Prague, Czechia

@tianon
Tianon Gravi tianon
bashochist; debian, dragon, father, go, jq, perl, (neo)vim; basically nine years old; he/him or they/them

@docker, but thoughts, comments, commits generally his own ("do not represent the views of Docker, Inc" etc etc) Las Vegas, NV

@erikbern
Erik Bernhardsson erikbern
Working on some weird ideas for data infra at @modal-labs. Ex-CTO at better.com, built the music rec sys at @spotify, blogs sometimes.

New York City

@raphiki
raphiki raphiki
Raphaël Semeteys, also known as Raphiki Yogeek

Worldline France

@gitpod-io
Gitpod gitpod-io
Always Ready To Code

Earth

@LouisAyroles
Louis Ayroles LouisAyroles
Software Engineer Air France Teacher Paul Sabatier University

Université Paul Sabatier Toulouse

@axellaffite
Axel Laffite axellaffite
Backend developer at Pictarine 🚀

Pictarine Toulouse

@scemama
Anthony Scemama scemama

Laboratoire de Chimie et Physique Quantiques / CNRS Toulouse, France

@gstew5
Gordon Stewart gstew5

BedRock Systems, Inc. Boston, MA

@emacs-openai
Emacs OpenAI emacs-openai
It's an OpenAI for Emacs
@amberin
Victor Andreasson amberin
@nicolasAmat
Nicolas Amat nicolasAmat
Postdoctoral researcher at IMDEA Software Institute | Participant in the Model Checking Contest

IMDEA Software Institute Madrid, Spain

@emillon
Etienne Millon emillon

Paris

@dinosaure
Calascibetta Romain dinosaure

Around the world ...

@Debian
The Universal OS Debian
See https://github.com/Debian/README.Debian for details

Planet Earth

@magaud
Nicolas MAGAUD magaud

ICube UMR 7357 CNRS Université de Strasbourg Strasbourg, France

@ocaml-gospel
ocaml-gospel
@jnarboux
Julien Narboux jnarboux

Université de Strasbourg Strasbourg

@rizo
Rizo I rizo
Meta language hacker

London (UK), Porto (Portugal)

@jcs090218
Jen-Chieh Shen jcs090218
Productivity are sum of maintainability, extensibility, and readability. I make tools.

San Francisco, CA | Taiwan

@Chris00
Christophe Troestler Chris00

Université de Mons Belgium

@craff
Christophe Raffalli craff

LAMA, UMR 5127, CNRS Savoie, France

@nlaykh
Nikolay Khachatryan nlaykh
@ONLYOFFICE
ONLYOFFICE ONLYOFFICE
A free and open source office and productivity suite

20A-12 Ernesta Birznieka-Upisha street, Riga, Latvia, EU, LV-1050

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

ONERA Toulouse, France

@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.

Imandra (@imandra-ai) washington DC

@ahrefs
Ahrefs ahrefs

Singapore

@danieldietrich
Daniel Dietrich danieldietrich
Co-lead of @TypeFox ❯ Software Engineer

@TypeFox Kiel, Germany

@topaz
Eric Wastl topaz
@tdd
Christophe Porteneuve tdd
Dad, programmer, husband, entrepreneur, friend, speaker, ally, author. I train ppl on JS/Node and Git[Hub], build B2B SaaS, & call out bigots of all kinds.

Delicious Insights Paris, France

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@Master-DL
Master SDL Master-DL
Master Sciences du Logiciel

Univ. Toulouse III - Paul Sabatier

@bbatsov
Bozhidar Batsov bbatsov
Hacker. Emacs fanatic. Author of RuboCop, CIDER, Projectile and others. I'm not the best, but I'm pretty good. ;-)

Toptal (@toptal) Bulgaria

@naussicaa
Stefania Dumbrava naussicaa

ENSIIE Paris, France

@backtracking
Jean-Christophe Filliatre backtracking
@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@YaZko
Yannick Zakowski YaZko
@vzaliva
Vadim Zaliva vzaliva

University of Cambridge, Digamma.ai Saratoga, CA, USA

@axonasif
Aminur Rahman axonasif

@gitpod-io π

@ocaml-community
OCaml Community ocaml-community
A collaborative, community-driven project for long-term maintenance of OCaml packages
@Tchou
Kim Nguyễn Tchou

Université Paris-Saclay Orsay

@chshersh
Dmitrii Kovanikov chshersh
Senior Software Engineer at Bloomberg using OCaml

Bloomberg London, UK

@kayceesrk
KC Sivaramakrishnan kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.

Tarides and IIT Madras Chennai, India

@ericdallo
Eric Dallo ericdallo
Emacs fanatic, NixOS enthusiast, maintainer of clojure-lsp, emacs-lsp and lsp-dart

@nubank São Paulo, Brazil

@hendriktews
hendriktews
@dra27
David Allsopp dra27
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

@tarides Cambridge, UK

@MSoegtropIMC
MSoegtropIMC
@Matafou
Pierre Courtieu Matafou