Share :

GavinMendelGleason

Gavin Mendel-Gleason

@GavinMendelGleason

Dublin 🇮🇪

Refresh user

Last updated : 11:06AM UTC, Jun 19th 2021

35 - Rank 237 422 🌍

Prolog

Ranking:

World: 98 / 1805

Ireland 🇮🇪: 1 / 7

Dublin: 1 / 5

3 repositories

#98
14

Haskell

Ranking:

World: 3104 / 11059

Ireland 🇮🇪: 21 / 57

Dublin: 19 / 41

1 repository

#3104
7

Agda

Ranking:

World: 133 / 349

Ireland 🇮🇪: 2 / 2

Dublin: 1 / 1

2 repositories

#133
6

Coq

Ranking:

World: 240 / 737

Ireland 🇮🇪: 1 / 2

Dublin: 1 / 2

1 repository

#240
6

Python

Ranking:

World: 223906 / 483868

Ireland 🇮🇪: 671 / 1370

Dublin: 387 / 786

2 repositories

#223906
2