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
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%
OOD_ERP
0
0
updated over 9 years ago • age over 9 years
Java
83.0%
TeX
16.6%
PHP
0.3%
Inno Setup
0.1%
TicketSystem
0
0
updated over 10 years ago • age over 10 years
JavaScript
53.5%
HTML
39.3%
CSS
7.2%
Phi
0
0
updated almost 9 years ago • age over 10 years
HTML
57.4%
Python
32.4%
CSS
5.9%
JavaScript
4.2%
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
