Skip to content
View jmid's full-sized avatar

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

@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

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

Xanadu Canada

@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
@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@agustinmista
Agustín Mista agustinmista

@Tweag Gothenburg, Sweden

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

University of Delaware Newark, DE

@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

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@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

@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

@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