Rankings
Badges
/
CodingCellist
Rankings
Badges
Overview
Ranks
Repositories
Languages
@CodingCellist
Refresh
Open GitHub
null
Profile age: over 8 years
Updated 14 days ago
22 followers • 26 following
Contacts
CodingCellist.eu
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Contributor
#748,373
#703,685
#645,109
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
idris2-dot-parse
8
1
8
updated about 2 years ago • age over 4 years
Idris
100.0%
idris2-buffered-channels
6
0
1
updated over 3 years ago • age over 4 years
Idris
100.0%
idris2-sinter
1
3
updated over 1 year ago • age over 4 years
Idris
75.0%
C
21.7%
Makefile
3.3%
UoStA-Module-Vis-2019
0
0
updated about 6 years ago • age about 6 years
Python
43.7%
HTML
23.7%
SQLPL
14.0%
TSQL
11.9%
JavaScript
6.7%
cs3099jh
0
0
updated almost 8 years ago • age almost 8 years
TeX
100.0%
View all 6 repositories
Last Contributions
2025
Idris2
1 PR
+19
-18
Idris
2,744
394
5
stacscheck
1 PR
+1
-1
HTML
20
10
idris-lang.github.io
1 PR
+51
-11
CSS
6
10
2024
Idris2
1 PR
+24
-0
Idris
2,744
394
5
idris2-pack
1 PR
+15
-9
Idris
129
32
View all contributions
Subscribe to CodingCellist's GitHub rank updates in your messenger
WhatsApp
Telegram
