James Wood

@laMudri

Open GitHub

null

Profile age: over 12 years

Updated about 13 hours ago

32 followers • 0 following

Profile Overview

Global Rank

Expert 2

Persona

Contributor

#448,166

#307,344

#443,478

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

generic-lr

updated over 1 year ago • age almost 6 years

Agda77.8%

TeX21.5%

Nix0.6%

quantitative

updated almost 4 years ago • age over 7 years

TeX73.5%

Agda26.3%

Nix0.2%

thesis

updated over 1 year ago • age over 4 years

TeX99.6%

Makefile0.3%

Nix0.1%

agda

updated over 5 years ago • age over 5 years

Haskell55.6%

Agda27.9%

TeX7.9%

PostScript5.2%

HTML3.5%

Last Contributions

2023
agda-stdlib
3 PRs +346-45
Agda
632
260
16
2022
agda-stdlib
2 PRs +39-7
Agda
632
260
16
2021
nixpkgs
2 PRs +5-5
Nix
22,379
17,187
agda-stdlib
1 PR +5-3
Agda
632
260
16
agda-categories
1 PR +341-0
Agda
391
74
12

View all contributions

Latest Updates

02 Nov 2025
Followers Count:31 32
08 Aug 2025
Followers Count:30 31
10 Jan 2025
First seen

Subscribe to laMudri's GitHub rank updates in your messenger

WhatsApp Telegram