Skip to content
View jmid's full-sized avatar
105 followers · 0 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@ocaml

Block or report jmid

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
@smoonthsky
smoonthsky smoonthsky
robot sdv

hsq metaverse

@Justme0606
Sylvain Borgogno Justme0606

Inria - SED Sophia-Antipolis

@elias-utf8
Elias elias-utf8
Comp. Sci. student | eliasgauthier.fr

Département Informatique de l'IUT de Bordeaux France

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@xyhhx
xyhhx xyhhx
@aslakjohansen
Aslak Johansen aslakjohansen
@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@vskrachkov
Viacheslav Krachkov vskrachkov

Kyiv, Ukraine

@irfan-official
Kazi Irfan irfan-official
I am a student.

Bangladesh

@aguluman
Chukwuma Akunyili aguluman
Decisions are Temporary. Valar Morghoulis

Lagos, Nigeria

@maiste
Etienne maiste
Curious about the universe 🌳 Believe in the indie web, Open Source and distributed architectures 🦉 Ex @tarides
@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@rizo
Rizo rizo
Lost in macroexpand

Porto (Portugal)

@filipeom
Filipe Marques filipeom
Programming languages enthusiast

@formalsec Lisbon, Portugal

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@Firobe
Virgile Robles Firobe

@tarides France

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@humblenginr
Nithish Karthik humblenginr
😄

IIT BHU Varanasi

@neverm25
neverm25
@aresbit
aresbit
@beike-zh
beike-zh
@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@senthil28
senthil28
@dipeshkaphle
Dipesh Kafle dipeshkaphle

@delta

@agustinmista
Agustín Mista agustinmista

@Tweag Gothenburg, Sweden

@soren-n
Søren Nørbæk soren-n

Denmark

@mooreryan
Ryan Moore mooreryan
Bioinformatics data science PhD, viral ecologist, & basketball nerd

University of Delaware Newark, DE

@d3v3l0
d3v3l0

Munich

@fabbing
Fabrice fabbing

@DataDog France

@benmandrew
Ben Andrew benmandrew
PhD Researcher. Former Software Engineer

University of Manchester United Kingdom

@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

@punchagan
Puneeth Chaganti punchagan

@tarides India

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@gpetiot
Guillaume Petiot gpetiot

United Kingdom

@MisterDA
Antonin Décimo MisterDA
↑↑↓↓←→←→BA

@tarides Paris, France

@verbosemode
Jochen Bartl verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR Slowly moving my personal stuff over to Codeberg

Somewhere near Augsburg, Germany

@palainp
Pierre Alain palainp
@Lucccyo
Charlène_Gros Lucccyo

Tarides

@minalspatil
Minal S Patil minalspatil
Explainable AI, Machine Reasoning

Scania CV AB Stockholm, Sweden

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@naomiiiiiiiii
Naomi Spargo naomiiiiiiiii

Arlington, VA

@code-ghalib
code-ghalib
@Ngoguey42
ngoguey Ngoguey42

Paris, France

@ShaoQiBNU
ShaoQiBNU
A GISer and RSer interested in Machine Learning and Deep learning

Beijing Normal University

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

@OCamlPro Bordeaux

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure