Rankings
Badges
/
agurfinkel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Arie Gurfinkel
@agurfinkel
Refresh
Open GitHub
🇨🇦 Canada
University of Waterloo
Profile age: almost 12 years
Updated 9 days ago
95 followers • 0 following
Contacts
https://arieg.bitbucket.io
Repositories
btor2mlir
26
7
updated almost 2 years ago • age about 4 years
C++
70.7%
C
19.4%
LLVM
4.9%
CMake
2.8%
Python
2.2%
minisat
25
27
updated over 1 year ago • age about 8 years
C++
93.3%
Makefile
4.5%
CMake
1.3%
C
0.8%
spacer-on-jupyter
19
6
updated over 2 years ago • age about 5 years
Jupyter Notebook
96.2%
Python
3.8%
verifyTrusty
7
1
updated about 5 years ago • age about 6 years
C
65.0%
C++
25.1%
Python
8.6%
Dockerfile
0.9%
Shell
0.4%
innard-benchmarks
6
0
updated over 4 years ago • age over 4 years
brunch
3
4
updated over 2 years ago • age over 8 years
Python
84.4%
Jupyter Notebook
14.0%
Shell
1.6%
z3
2
1
updated over 1 year ago • age over 10 years
C++
90.9%
Python
3.3%
C#
2.3%
C
1.8%
Java
1.7%
spacer-star-exec
0
0
updated over 5 years ago • age over 5 years
Python
95.6%
Shell
4.4%
Contributions
2024
prevail
1 PR
+5
-2
C++
429
48
1
2023
z3
1 PR
+4,029
-1,376
C++
11,443
1,569
50
seahorn
2 PRs
+932
-114
C
460
130
5
seamock
1 PR
+47
-0
CMake
1
0
c-rust
~7 PRs
+133
-58
Rust
0
2
pcminer
1 PR
+157,302
-141,216
HTML
0
1
2022
z3
2 PRs
+9
-1
C++
11,443
1,569
50
2021
seahorn
1 PR
+56
-6
C
460
130
5
verify-c-common
2 PRs
+55
-22
C
18
15
Ghidrall
3 PRs
+164
-45
Makefile
13
3
Show more
