Skip to content
View smondet's full-sized avatar
☕
☕
189 followers · 122 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@biocaml @hammerlab

Block or report smondet

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 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
@IvantheTricourne
Carl J. Factora IvantheTricourne

New York NY

@tatchi
Corentin Leruth tatchi

Belgium

@ferminr
Fermin Reig ferminr

Ahrefs

@Khady
Louis Khady

@Ahrefs

@andreypopp
Andrey Popp andreypopp

@mechanize-systems Leipzig, Germany

@zindel
Oleksiy Golovko zindel

Prague, The Czech Republic

@rr0gi
rr0gi

@ahrefs

@aantron
Anton Bachin aantron

Eudaimonia

@orcutt989
orcutt989
Infrastructure engineer & pizza.
@agtilden
agtilden
@nicolasochem
Nicolas Ochem nicolasochem

MIDL.dev San Francisco

@philsaxton
Phillip Saxton philsaxton
@oxheadalpha
oxheadalpha
@weaverine
weaverine
@craigfe
Craig Ferguson craigfe
Software engineer @monzo. Previously @tarides.

Cambridge, UK

@objmagic
R Li objmagic

@Twitter

@apcimino
apcimino
@marklnichols
Mark Nichols marklnichols
@emmanueldenloye
Emmanuel Denloye-Ito emmanueldenloye

New York, New York

@garrigue
Jacques Garrigue garrigue

Nagoya University Japan

@mseri
Marcello Seri mseri

Rijksuniversiteit Groningen Groningen, NL

@jacobarluck
jacobarluck
@emishur
Eugene Mishura emishur
@michaeljklein
Michael J Klein michaeljklein
I like building and fixing tools to scale with high assurance 😄 🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.
@lambdahands
Amani lambdahands

NYC

@itkach
itkach
@SarahFowler73
Sarah Fowler SarahFowler73
@paracetamolo
Marco Stronati paracetamolo

Paris

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@adrianbrink
Adrian Brink adrianbrink
Founder of @anoma and @heliaxdev

@anomanetwork @heliaxdev Worldwide

@3noch
Elliot Cameron 3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕

Indiana

@NathanReb
Nathan Rebours NathanReb
Freelance Software Engineer, OCaml and FP enthusiast

@OCamlPro Bordeaux

@Armael
Armaël Guéneau Armael

Inria Paris-Saclay

@danbornside
Dan Bornside danbornside
$PITHY_SOFTWARE_OPINION
@raphael-proust
Raphaël Proust raphael-proust
@Sophia-Gold
Sophia Gold Sophia-Gold

New York, NY

@keleshev
Vladimir Keleshev keleshev
OCaml developer

Copenhagen, Denmark

@Chris00
Christophe Troestler Chris00

Université de Mons Belgium

@hcarty
Hezekiah M. Carty hcarty
@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@jpmondet
jpmondet
@gallais
G. Allais gallais

Glasgow, Scotland

@roglo
Daniel de Rauglaudre roglo
@murbard
Arthur Breitman murbard
Mostly Tezos and ML stuff
@dra27
David Allsopp dra27
SRE at University of Cambridge; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list

University of Cambridge Cambridge, UK

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@klakplok
Benjamin Canou klakplok
@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@hnrgrgr
Grégoire Henry hnrgrgr

Tezos @ Nomadic Labs Paris

@emillon
Etienne Millon emillon

Paris