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
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
lampy3
6
0
updated about 3 years ago • age over 3 years
Python
97.1%
Emacs Lisp
2.9%
geckones_twitter_bots
6
0
updated almost 3 years ago • age over 5 years
Python
100.0%
small
6
0
updated about 2 years ago • age almost 3 years
Ruby
100.0%
delegate
Archived
5
1
updated 11 months ago • age almost 6 years
Python
100.0%
uselessjs
2
1
updated over 7 years ago • age over 7 years
JavaScript
100.0%
Show more - 10 of 11 shown
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
coq-serapi
2 PRs
+79
-32
Coq
133
41
34
2021
asdf-haskell
1 PR
+1
-1
Shell
63
15
2020
mautic
1 PR
+14
-14
PHP
8,826
3,058
176
react-filepond
1 PR
+1
-0
JavaScript
1,954
95
1
developer-documentation
1 PR
+2
-2
JavaScript
29
94
Show more
