Rankings
Badges
/
conal
Rankings
Badges
Overview
Ranks
Repositories
Languages
Conal Elliott
@conal
Refresh
Open GitHub
🇺🇸 San Andreas, California, USA
(open to employment)
Profile age: about 15 years
Updated 1 day ago
1,039 followers • 5 following
Contacts
http://conal.net
@conal
@conal@mathstodon.xyz
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#17,398
#304,708
#6,995
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
talk-2015-essence-and-origins-of-frp
415
25
updated over 1 year ago • age over 10 years
TeX
97.0%
Makefile
3.0%
talk-2018-essence-of-ad
201
8
updated over 4 years ago • age almost 8 years
TeX
97.9%
Makefile
2.1%
lambda-ccc
150
18
updated over 9 years ago • age over 12 years
Haskell
99.6%
Makefile
0.2%
Shell
0.2%
talk-2014-lambdajam-denotational-design
122
5
updated over 1 year ago • age about 11 years
TeX
98.4%
Makefile
1.6%
Collaboration
109
1
updated 5 months ago • age about 3 years
View all 63 repositories
Last Contributions
2024
cheshire
1 PR
+3
-3
Agda
8
3
2022
concat
1 PR
+1
-1
Haskell
455
50
agda-lecture-notes
1 PR
+1
-1
TeX
128
16
2021
agda-stdlib
4 PRs
+143
-15
Agda
629
257
16
2020
agda-stdlib
2 PRs
+394
-49
Agda
629
257
16
View all contributions
Latest Updates
03 Oct 2025
Followers Count:
1,038
1,039
18 Sep 2025
Followers Count:
1,039
1,038
04 Sep 2025
Followers Count:
1,036
1,039
21 Aug 2025
Followers Count:
1,032
1,036
07 Aug 2025
Followers Count:
1,031
1,032
04 Jan 2025
First seen
Subscribe to conal's GitHub rank updates in your messenger
WhatsApp
Telegram
