Philip Wadler

@wadler

Open GitHub

🇬🇧 Edinburgh

University of Edinburgh

Profile age: over 12 years

Updated about 14 hours ago

685 followers • 0 following

Contacts

wadler@inf.ed.ac.uk

http://homepages.inf.ed.ac.uk/wadler/

Organizations

Profile Overview

Global United Kingdom

Global Rank

Legend 1

Persona

Influencer

#1,094,515

#1,233,411

#11,881

Explore Ranks

Top 3 Languages By Stars

No languages to show yet! Looks like your profile doesn't have any public repos with code. Once you share some, we'll chart your top languages here.

All Languages

Repositories

fp-competition-2021

updated almost 4 years ago • age almost 4 years

roberto

updated over 3 years ago • age almost 4 years

Last Contributions

2025
substitution
3 PRs +237-260
TeX
3
0
2024
plfa.github.io
~20 PRs +1,471-3
Agda
1,454
336
3
2023
plfa.github.io
~15 PRs +21-13
Agda
1,454
336
3
2022
plfa.github.io
~7 PRs +1,782-94
Agda
1,454
336
3
2021
plfa.github.io
2 PRs +3-3
Agda
1,454
336
3

View all contributions

Latest Updates

30 Sep 2025
Followers Count:683 685
13 Sep 2025
Followers Count:682 683
29 Aug 2025
Followers Count:680 682
18 Jul 2025
Followers Count:676 680
03 Jul 2025
Followers Count:677 676
18 Jan 2025
First seen

Subscribe to wadler's GitHub rank updates in your messenger

WhatsApp Telegram