Skip to content
View 4y8's full-sized avatar
40 followers · 79 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@mage-linux @selene-lang

Block or report 4y8

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@yosakaon
Lynda yosakaon
LOGOS master student @ Paris 7 Currently interning @ LIP - ENS de Lyon

Université Paris Cité Paris, France

@raphael-sterbac
Raphaël Sterbac raphael-sterbac
Maths and Computer science student at ENS Paris-Saclay.

ENS Paris-Saclay France

@smimram
Samuel Mimram smimram

École polytechnique France

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@jiangsy
Shengyi Jiang jiangsy
@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@tekknolagi
Max Bernstein tekknolagi
Biking around...

@Shopify Boston, MA

@osa1
Ömer Sinan Ağacan osa1
I like programming languages and compilers.

London

@laurenthuberdeau
Laurent Huberdeau laurenthuberdeau

Montréal, Canada

@XSnow
Snow XSnow
A PhD graduate from @hkuplg

Paris

@gldubc
Guillaume Duboc gldubc
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@richfelker
Rich Felker richfelker
Main author and maintainer of musl libc.
@tbrk
Timothy Bourke tbrk

Inria Paris

@smorimoto
Sora Morimoto smorimoto
Occasional Programmer @ocaml @tarides @ocsigen @mirage @Solo5 @tc39

@ocaml @tc39 Tokyo, Japan

@pamellies
Paul-André Melliès pamellies

IRIF, CNRS, Université Paris Cité, INRIA Paris, France

@jboillot
Jérôme Boillot jboillot
PhD student — École Normale Supérieure

Paris, France

@JeanGalte
Programmeur31 JeanGalte
"JeanGalte" est un pseudonyme. Intéressé par les langages de programmation, les types, la logique linéaire, l'analyse statique

Paris

@melsman
Martin Elsman melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

University of Copenhagen, Denmark Copenhagen, Denmark

@andrew-appel
Andrew Appel andrew-appel
Professor Emeritus of Computer Science

Princeton University Princeton, NJ

@augustss
Lennart Augustsson augustss

Gothenburg, Sweden

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@fizruk
Nikolai Kudasov fizruk
Haskeller falling down a rabbit hole.

@InnopolisUniversity

@pdarragh
Pierce Darragh pdarragh
PhD student at the University of Maryland, interested in programming languages and their usability.

UMD College Park, MD

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@AIDRI
AIDRI
ML & DL Fan 😎

Grenoble, France

@simonpj
Simon Peyton Jones simonpj

Epic Games

@gallais
G. Allais gallais

Glasgow, Scotland

@neauoire
Devine Lu Linvega neauoire
Black Tourmaline. https://git.sr.ht/~rabbits

@hundredrabbits Nepturne 7757

@pigworker
Conor McBride pigworker

Glasgow

@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@Matocolotoe
Giovanni Matocolotoe
I code stuff, mainly on Minecraft.

France

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@Aur3m
Aurélien M. Aur3m

Marseille

@sano-jin
Jin SANO sano-jin
interested in theories and designs of programming languages.

NTT Computer and Data Sciece Laboratories Tokyo, Japan

@githwxi
Hongwei Xi githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.

ATS Trustful Software, Inc. Boston, Massachusetts

@Brythzz
Bryth Brythzz
Engineering student @CentraleSupelec

CentraleSupélec Paris, France

@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

@Firobe
Virgile Robles Firobe

@tarides France

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@tweag
Tweag by Modus Create tweag
Improving the craft of software engineering
@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@alan-j-hu
Alan Hu alan-j-hu

America

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@xieyuheng
Xie Yuheng xieyuheng
we need more tokens!

China

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@fortierq
Quentin Fortier fortierq
Professeur d'informatique en MPI au lycée la Martinière Monplaisir à Lyon.

Lyon