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 8 days ago
95 followers • 0 following
Contacts
https://arieg.bitbucket.io
Profile Overview
Global
Canada
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 1
Persona
Influencer
#259,126
#618,622
#128,203
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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
View all 8 repositories
Last 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
459
130
5
seamock
1 PR
+47
-0
CMake
1
0
c-rust
~7 PRs
+133
-58
Rust
0
2
View all contributions
Latest Updates
21 Sep 2025
Followers Count:
94
95
07 Sep 2025
Followers Count:
93
94
24 Aug 2025
Followers Count:
91
93
10 Jan 2025
First seen
Subscribe to agurfinkel's GitHub rank updates in your messenger
WhatsApp
Telegram
