8000 jmid (Jan Midtgaard) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View jmid's full-sized avatar

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.

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
@Zeta611
Jay Lee Zeta611
Programming programming languages 🪄 λᠻ.(λ᥊.ᠻ(᥊ ᥊))(λ᥊.ᠻ(᥊ ᥊))

@ropas @KoreanTUG Seoul, Republic of Korea

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

Xanadu Canada

@0joseDark
jose 0joseDark
lover of science, biology and robotics, and programming is fun

Barreiro, Portugal

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

Bangladesh

@aguluman
Chukwuma Akunyili aguluman
Decisions are Temporary. Valar Morghoulis

Lagos, Nigeria

@maiste
Etienne Marais maiste
Love open-source and sustainable development. Curious about the universe 🌳 Believe in the indie web and distributed architectures 🦉

@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
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

@Zenseact Gothenburg, Sweden

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

University of Delaware Newark, DE

@fabbing
Fabrice fabbing

@tarides France

@benmandrew
Ben Andrew benmandrew
PhD Researcher at the University of Manchester

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

@gpetiot
Guillaume Petiot gpetiot
Software engineer

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

@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

@nyinyithann
Nyi Nyi nyinyithann
Software Developer

ahrefs

@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

Bordeaux

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@PratikDhanave
genix PratikDhanave
Mentor for Google summer of code 2022, 2021,2020,2019, Intern for Google Summer of Code 2017-2018
@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands

@Sudha247
Sudha Parimala Sudha247

@tarides Chennai, India

@acorrenson
Arthur Correnson acorrenson
PhD candidate at CISPA. Working on formally verified formal methods.

CISPA Helmholtz Center for Information Security Saarbrücken

@davesnx
David Sancho davesnx
Writing tools and user interfaces for @ahrefs

@ahrefs Barcelona

0