Rankings
Badges
/
gallais
Rankings
Badges
Overview
Ranks
Repositories
Languages
G. Allais
@gallais
Refresh
Open GitHub
🇬🇧 Glasgow, Scotland
Profile age: about 14 years
Updated 3 days ago
337 followers • 114 following
Contacts
http://gallais.github.io
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Influencer
#52,141
#526,655
#28,568
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
agdarsec
132
13
9
updated 3 months ago • age over 8 years
Agda
99.2%
Makefile
0.8%
idris-tparsec
96
9
updated over 2 years ago • age almost 8 years
Idris
100.0%
generic-syntax
77
11
1
updated over 3 years ago • age over 8 years
Agda
99.4%
Haskell
0.2%
Shell
0.2%
Makefile
0.2%
potpourri
55
4
updated about 1 month ago • age over 11 years
Agda
44.4%
TeX
36.3%
Idris
12.0%
Haskell
5.6%
BibTeX Style
1.7%
agda-sizedIO
36
1
updated over 4 years ago • age over 8 years
Agda
100.0%
View all 31 repositories
Last Contributions
2025
Idris2
2 PRs
+105
-138
Idris
2,766
395
6
agda
1 PR
+12
-1
Haskell
2,746
387
14
agda-stdlib
3 PRs
+470
-201
Agda
632
260
16
cs410-advanced-functional-programming
2 PRs
+42
-2
Agda
27
0
Syrup
~8 PRs
+1,133
-970
Haskell
22
0
View all contributions
Latest Updates
30 Oct 2025
Followers Count:
335
337
16 Oct 2025
Followers Count:
334
335
02 Oct 2025
Followers Count:
333
334
18 Sep 2025
Followers Count:
332
333
04 Sep 2025
Followers Count:
333
332
04 Jan 2025
First seen
Subscribe to gallais's GitHub rank updates in your messenger
WhatsApp
Telegram
