Rankings
Badges
/
btj
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bart Jacobs
@btj
Refresh
Open GitHub
🇧🇪 Leuven, Belgium
imec-DistriNet, KU Leuven
Profile age: over 13 years
Updated 8 days ago
175 followers • 0 following
Contacts
bart.jacobs@cs.kuleuven.be
http://www.cs.kuleuven.be/~bartj/
Organizations
Profile Overview
Global
Belgium
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Contributor
#353,055
#54,208
#61,632
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ogp-notes
41
27
10
updated 3 months ago • age over 5 years
Shell
100.0%
ocaml-gtk
7
2
updated over 1 year ago • age about 4 years
Python
77.8%
C
11.4%
OCaml
9.7%
Makefile
1.1%
ogptaglets
4
3
2
updated over 4 years ago • age over 5 years
Java
100.0%
termios
1
1
12
updated over 1 year ago • age over 1 year
Java
75.0%
Makefile
12.8%
C
12.2%
proof-outline-checker
1
2
1
updated about 1 year ago • age about 4 years
TypeScript
73.3%
Coq
21.8%
HTML
3.1%
OCaml
1.6%
Makefile
0.3%
View all 13 repositories
Last Contributions
2025
rust
2 PRs
+4
-27
Rust
106,491
13,738
140
lets-prove-leftpad
1 PR
+92
-0
SystemVerilog
694
64
verifast
~204 PRs
+352
-8
Rust
433
68
13
verify-rust-std
2 PRs
+4
-0
Rust
292
58
vfdeps
1 PR
+86
-14
Makefile
1
2
4
View all contributions
Latest Updates
06 Sep 2025
Followers Count:
172
175
27 Jun 2025
Followers Count:
170
172
13 Jun 2025
Followers Count:
169
170
28 May 2025
Followers Count:
168
169
14 May 2025
Followers Count:
167
168
06 Jan 2025
First seen
Subscribe to btj's GitHub rank updates in your messenger
WhatsApp
Telegram
