Martin Escardo

@martinescardo

Open GitHub

🇬🇧 United Kingdom

University of Birmingham

Profile age: over 12 years

Updated 3 days ago

232 followers • 2 following

Contacts

http://www.cs.bham.ac.uk/~mhe/

@MartinEscardo@mathstodon.xyz

Repositories

HoTTEST-Summer-School

312

updated 5 months ago • age over 3 years

TeX59.0%

Agda27.0%

HTML6.0%

OCaml5.7%

Haskell2.3%

TypeTopology

261

updated 6 days ago • age over 7 years

Agda94.2%

TeX5.6%

Shell0.1%

Haskell0.1%

HoTT-UF-Agda-Lecture-Notes

230

updated over 1 year ago • age over 6 years

Agda99.4%

Shell0.2%

CSS0.2%

Makefile0.1%

Haskell0.1%

EffectfulForcing

updated about 4 years ago • age about 4 years

Agda55.9%

TeX44.1%

Contributions

2021
mathematics-and-computation
~7 PRs +97-2
Mathematica
53
5
2019
cubical
1 PR +123-0
Agda
508
156
8
birmingham-theory
1 PR +1-1
HTML
4
10
2018
cubical
1 PR +135-43
Agda
508
156
8

Martin Escardo

@martinescardo

Open GitHub

🇬🇧 United Kingdom

University of Birmingham

Profile age: over 12 years

Updated 3 days ago

232 followers • 2 following

Contacts

http://www.cs.bham.ac.uk/~mhe/

@MartinEscardo@mathstodon.xyz

Repositories

HoTTEST-Summer-School

312

updated 5 months ago • age over 3 years

TeX59.0%

Agda27.0%

HTML6.0%

OCaml5.7%

Haskell2.3%

TypeTopology

261

updated 6 days ago • age over 7 years

Agda94.2%

TeX5.6%

Shell0.1%

Haskell0.1%

HoTT-UF-Agda-Lecture-Notes

230

updated over 1 year ago • age over 6 years

Agda99.4%

Shell0.2%

CSS0.2%

Makefile0.1%

Haskell0.1%

EffectfulForcing

updated about 4 years ago • age about 4 years

Agda55.9%

TeX44.1%

Contributions

2021
mathematics-and-computation
~7 PRs +97-2
Mathematica
53
5
2019
cubical
1 PR +123-0
Agda
508
156
8
birmingham-theory
1 PR +1-1
HTML
4
10
2018
cubical
1 PR +135-43
Agda
508
156
8