Skip to content
View peterlefanulumsdaine's full-sized avatar
95 followers · 3 following

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro
Block or Report

Block or report peterlefanulumsdaine

Report abuse

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

Report abuse
@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ
@ferdous6443
Ferdous Ahamed ferdous6443
#Lifelong Learner #Tecnology enthusiast eagar to learn more about computer

United International University Dhaka,Bangladesh

@707state
bipbipbip 707state
@BrentKylling
BrentKylling
@RamonAbudAlcala
RamonAbudAlcala
@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@J-Lw
JLaw J-Lw
∫ (Eudaimonic Ascent ∪ Virtus Junxit Mors Non Separabit)

Canada

@ugke
Ugandhar K ugke

Bengaluru

@FernandoChu
Fernando Chu FernandoChu
Math, logic and programming, I like them all the same.

Lima, Peru

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Postdoc @ Johns Hopkins University, Baltimore, MD. Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com

Johns Hopkins University Baltimore, MD

@GlebChili
Gleb Krasilich GlebChili
HSE University Alumnus (Mathematics MSc '23 and BSc '21). Mathematical Logic, Type Theory, and Computer Science.
@DanielRrr
Daniel Rogozin DanielRrr
Algebraic & modal logic and category theory

Noeon Research Kingston upon Thames

@YiqiXu
Yiqi Xu YiqiXu
@frankfanslc
frankfanslc frankfanslc

Fatpipe Networks Salt Lake City, UT

@rtviii
Artem Kushner rtviii

Vancouver

@evgenikuznetsovi
evgenikuznetsovi
@dhsorens
Derek Sorensen dhsorens

University of Cambridge Cambridge, UK

@ejconlon
Eric Conlon ejconlon

west coast

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

Brazil

@EricCrosson
Eric Crosson EricCrosson
Maybe the real tests were the types we made along the way
@Skantz
Skantz

Shirokanedai

@bond15
bond15
Formal Methods Research Scientist @ Two Six

Two Six Labs Seattle Washington

@garyzhubc
Peiyuan Zhu garyzhubc

University of British Columbia Vancouver, BC

@beike-zh
beike-zh
@michaeljklein
Michael J Klein michaeljklein
I like building and fixing tools to scale with high assurance 😄 🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.
@adnahmed
Adnan Ahmed adnahmed
Computer Scientist

Islamabad, Pakistan

@samkuhn
Sam Kuhn samkuhn
Full Stack 3D Web Developer - WebGPU, WebGL, AR, VR, Serverless, Cloud

UK

@smurphy8
smurphy8
@simfleischman
Scott Fleischman simfleischman

SimSpace

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@owo-bot
Shameimaru Aya owo-bot

@aya-prover & @3A-throwers Gensokyo

@SayantanRoy95
SayantanRoy95
@mattecapu
Matteo Capucci mattecapu
PhD student at University of Strathclyde. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@jesyspa
Komi Golov jesyspa
Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.

@JetBrains Utrecht, The Netherlands

@bafain
Fabian bafain

Göteborg, Sweden

@lkml-likexu
Like Xu lkml-likexu
A linux kernel developer, focusing on performance (w/ monitorability, w/ debuggability, w/ scalability, w/ power efficiency).

Tencent Cloud Shanghai, China

@heades
Harley D. Eades III heades
Associate Professor of CS at Augusta University.

Augusta University United States

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@amir
Amir M. Saeid amir

Dublin, Ireland

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@dkrustev
Dimitur Krustev dkrustev
@what951006
YT what951006
A homeless man, struggling to live

NO

@pamellies
Paul-André Melliès pamellies

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

@anqurvanillapy
Anqur anqurvanillapy

Chengdu, China

@ndcroos
ndcroos
@xlxs4
Orestis Ousoultzoglou xlxs4
Space Systems Analyst / SWE @ EMTech Space, involved with a couple space missions.

EMTech Space Thessaloniki, Greece

@ComFreek
ComFreek ComFreek
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal

@KWARC Germany

@xuanYang
xuan-gottfried Yang xuanYang

independent researcher Germany

@contrun
contrun