Rankings
Badges
/
ppashakhanloo
Rankings
Badges
Overview
Ranks
Repositories
Languages
Pardis Pashakhanloo
@ppashakhanloo
Refresh
Open GitHub
🇺🇸 Bay Area
AWS
Profile age: about 11 years
Updated 5 days ago
65 followers • 6 following
Contacts
http://pardisp.github.io
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Advanced 5
Persona
Influencer
#37,783
#106,106
#29,490
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
CodeTrek
33
5
updated about 2 years ago • age almost 4 years
Python
92.4%
CodeQL
3.6%
Shell
3.5%
C++
0.4%
Makefile
0.1%
verilog-adders
16
7
updated almost 10 years ago • age almost 10 years
Coq
95.2%
Verilog
4.8%
verilog-array-multiplier
8
5
updated almost 10 years ago • age almost 10 years
Verilog
100.0%
verilog-DES
8
3
updated almost 10 years ago • age almost 10 years
Verilog
100.0%
web-search-engine
1
0
updated almost 10 years ago • age almost 10 years
Python
100.0%
View all 8 repositories
Last Contributions
2024
codemod
~15 PRs
+110
-4
TypeScript
854
57
71
2023
slither-certik
1 PR
+42
-3
Python
2
2
2019
checkedc
~6 PRs
+52
-52
C
3,250
188
7
checkedc-clang
~6 PRs
+1,884
-46
C++
508
79
11
chisel-bench
1 PR
+25
-0
C
6
9
View all contributions
Latest Updates
03 Nov 2025
Followers Count:
66
65
09 Aug 2025
Followers Count:
65
66
31 Mar 2025
Company:
Certik
AWS
Location:
Philadelphia,PA
Bay Area
Social Accounts:
twitter: @pashapardis
[object Object]
05 Jan 2025
First seen
Subscribe to ppashakhanloo's GitHub rank updates in your messenger
WhatsApp
Telegram
