Rankings
Badges
/
dhilst
Rankings
Badges
Overview
Ranks
Repositories
Languages
Daniel Hilst
@dhilst
Refresh
Open GitHub
🇧🇷 Brazil - Florianópolis
Profile age: about 15 years
Updated 6 days ago
155 followers • 155 following
Contacts
danielhilst@gmail.com
dhilst.github.io
Profile Overview
Global
Brazil
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 5
Persona
Influencer
#276,130
#602,621
#71,975
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
riemann-c-client
15
9
updated almost 8 years ago • age almost 13 years
C
79.1%
M4
17.1%
Makefile
1.5%
Protocol Buffer
1.4%
Shell
0.8%
brlang
13
0
updated about 3 years ago • age about 3 years
OCaml
100.0%
vlisp
10
0
updated over 4 years ago • age over 4 years
Vim Script
100.0%
lis.py
10
1
updated over 3 years ago • age over 3 years
Python
65.5%
Scheme
34.5%
bash4noobs
7
0
updated over 4 years ago • age about 5 years
View all 11 repositories
Last Contributions
2025
cloysterhpc
2 PRs
+4,698
-1,332
C++
10
3
1
2023
coq-of-rust
2 PRs
+425
-507
Rocq Prover
989
35
rinha-de-compiler
1 PR
+2
-1
Rust
927
220
1
2022
yojson
1 PR
+754
-0
OCaml
357
64
13
coq-of-ocaml
1 PR
+1
-1
OCaml
267
21
16
View all contributions
Latest Updates
24 Oct 2025
Followers Count:
154
155
10 Oct 2025
Followers Count:
155
154
26 Sep 2025
Followers Count:
153
155
11 Sep 2025
Followers Count:
154
153
28 Aug 2025
Followers Count:
156
154
06 Jan 2025
First seen
Subscribe to dhilst's GitHub rank updates in your messenger
WhatsApp
Telegram
