Rankings
Badges
/
haroldcarr
Rankings
Badges
Overview
Ranks
Repositories
Languages
Harold Carr
@haroldcarr
Refresh
Open GitHub
🇺🇸 United States
Profile age: over 14 years
Updated 22 days ago
55 followers • 16 following
Contacts
http://haroldcarr.com/
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Influencer
#181,880
#995,994
#239,967
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
learn-haskell-coq-ml-etc
36
6
updated 3 months ago • age about 12 years
Haskell
67.3%
Agda
21.0%
Coq
8.4%
Racket
2.0%
Lean
1.2%
simple-blockchain
30
6
updated over 5 years ago • age over 7 years
Haskell
100.0%
presentations
22
0
updated about 6 years ago • age over 8 years
json-pretty-print
14
0
updated about 2 years ago • age over 9 years
Haskell
100.0%
plutus-pioneer-program-3
10
1
updated about 3 years ago • age almost 4 years
Haskell
91.1%
Shell
8.9%
View all 11 repositories
Last Contributions
2025
anoncreds-v2-rs
1 PR
+128
-14
Rust
47
16
2024
anoncreds-v2-rs
2 PRs
+121
-8
Rust
47
16
2022
keripy
1 PR
+80
-88
Python
69
64
1
bft-consensus-agda
~21 PRs
+55
-11
Agda
12
9
2021
bft-consensus-agda
~62 PRs
+1,076
-751
Agda
12
9
View all contributions
Latest Updates
07 Aug 2025
Followers Count:
54
55
05 Jan 2025
First seen
Subscribe to haroldcarr's GitHub rank updates in your messenger
WhatsApp
Telegram
