Rankings
Badges
/
hiroki-chen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Hiroki Chen
@hiroki-chen
Refresh
Open GitHub
🇺🇸 New York City, NY
CertiK
Profile age: almost 10 years
Updated 6 days ago
98 followers • 198 following
Contacts
haobchen@iu.edu
hiroki-chen.github.io
Repositories
NeoOS
10
1
updated about 2 years ago • age almost 3 years
Rust
94.7%
Assembly
2.8%
C
1.4%
Makefile
0.9%
Python
0.2%
Oblivious-RAM
8
0
updated over 2 years ago • age about 3 years
C++
96.6%
CMake
1.7%
Shell
1.2%
C
0.4%
picachv
7
1
updated 8 months ago • age over 1 year
Rust
45.3%
Jupyter Notebook
34.4%
C
12.4%
C++
7.3%
Python
0.6%
FH_cryptDB
6
0
3
updated about 3 years ago • age over 4 years
C++
80.3%
Yacc
16.5%
C
2.8%
Makefile
0.3%
Lua
0.2%
SGXOram
5
0
updated about 2 years ago • age about 4 years
C++
71.6%
C
24.2%
Makefile
2.6%
Shell
1.5%
GDB
0.1%
NKUCompiler
4
0
updated almost 3 years ago • age almost 4 years
C++
82.4%
Python
16.5%
Lex
0.5%
CMake
0.3%
Shell
0.3%
SSE-SEAL
4
0
1
updated over 2 years ago • age over 4 years
C++
97.3%
C
1.9%
CMake
0.5%
Makefile
0.3%
picachv-proof
3
0
updated 10 months ago • age over 2 years
Coq
99.0%
Python
1.0%
cryptdb_test
1
0
updated over 4 years ago • age over 4 years
C++
99.5%
Makefile
0.5%
CDCC-demo
1
1
updated 23 days ago • age 9 months
Rust
38.1%
TypeScript
27.5%
Python
16.0%
Less
9.3%
JavaScript
9.1%
Contributions
2023
teaclave
1 PR
+6
-6
780
157
7
NKUCS.ICU
1 PR
+2
-0
Python
213
38
NKU-thesis-template-2020
1 PR
+117
-110
TeX
112
12
4
PoBF
~21 PRs
+126
-22
Jupyter Notebook
20
3
apic-rs
1 PR
+8
-4
Rust
9
5
2022
prusti-dev
1 PR
+29
-6
Rust
1,692
117
14
PoBF
~44 PRs
+950
-140
Jupyter Notebook
20
3
