8000 6d6f7274686f6e (6d6f7274686f6e) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View 6d6f7274686f6e's full-sized avatar
💭
please browse code j946@5488AA97464
💭
please browse code j946@5488AA97464
4 followers · 13 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report 6d6f7274686f6e

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
@eisenbud
David Eisenbud eisenbud

MSRI Berkeley, CA

@FlorianAdler
FlorianAdler
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@jespercockx
Jesper Cockx jespercockx

TU Delft

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@soupi
Gil Mizrahi soupi
@MrPetovan
Hypolite Petovan MrPetovan
Friendica contributor, video game player, job haver.

New York, USA

@rexim
Alexey Kutepov rexim
Recreational Programming

@tsoding Novosibirsk

@charlie45000
charlie45000
@bravit
Vitaly Bragilevsky bravit
JetBrains

JetBrains Larnaca, Cyprus

@yogsototh
Yann Esposito yogsototh
Functional Programmer (Haskell, Clojure), Auth, Stream Processing Machine Learning https://her.esy.fun

@cisco France

@LukeSmithxyz
Luke Smith LukeSmithxyz
0