James Wood

@laMudri

Open GitHub

null

Profile age: over 12 years

Updated about 15 hours ago

32 followers • 0 following

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%

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
2020
nixpkgs
1 PR +3-3
Nix
22,379
17,187
doomemacs
1 PR +1-1
Emacs Lisp
21,193
3,132
agda-stdlib
3 PRs +648-0
Agda
632
260
16
agda-categories
1 PR +16-12
Agda
391
74
12
cabal2nix
1 PR +2-1
Haskell
389
159