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 9 days ago
175 followers • 0 following
Contacts
bart.jacobs@cs.kuleuven.be
http://www.cs.kuleuven.be/~bartj/
Organizations
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%
hypertekst
0
1
updated over 1 year ago • age over 1 year
Java
100.0%
objectgrafen
0
1
updated over 2 years ago • age over 2 years
Java
100.0%
objecten_en_velden
0
0
updated about 3 years ago • age over 3 years
Java
100.0%
document
0
0
updated over 4 years ago • age over 4 years
Java
100.0%
ghostsignals-coq
0
0
updated about 2 years ago • age about 2 years
Coq
100.0%
Show more - 10 of 13 shown
Contributions
2025
rust
2 PRs
+4
-27
Rust
106,816
13,787
141
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
vf-llvm-clang-build
2 PRs
+61
-29
0
0
2
beoi-contest-modules
1 PR
+12
-0
JavaScript
0
2
2024
DefinitelyTyped
1 PR
+19
-0
TypeScript
50,353
30,494
1
verifast
~187 PRs
+109
-71
Rust
433
68
13
tutorial
1 PR
+185
-164
TeX
5
1
2
Show more
