Xingyu Xie

@namasikanam

Open GitHub

🇩🇪 Bochum, Germany

Max Planck Institute for Security & Privacy

Profile age: about 9 years

Updated 5 days ago

204 followers • 192 following

Contacts

namasikanam@gmail.com

Organizations

Repositories

shareOI

updated 6 months ago • age over 5 years

raft-spin

updated over 4 years ago • age over 4 years

CertiCore

updated almost 5 years ago • age over 5 years

Assembly42.4%

Racket25.5%

C24.5%

C++3.8%

Makefile3.8%

Arouq

updated over 5 years ago • age over 5 years

JavaScript36.3%

Python30.8%

Vue28.9%

Shell2.9%

HTML1.1%

BurningRIP

updated about 2 years ago • age almost 6 years

C++89.8%

C7.2%

Makefile2.0%

Python1.0%

Contributions

2025
easycrypt
2 PRs +58-0
OCaml
368
54
8
jasmin
1 PR +5-1
Rocq Prover
313
64
18
2024
asmjit
1 PR +1-1
C++
4,307
548
CodeLLMPaper
1 PR +3-1
HTML
552
41
2022
OI-wiki
1 PR +4-4
TypeScript
24,587
4,475
onnx
1 PR +4-4
Python
19,779
3,816
34
treehollow-v3-encryption-doc
1 PR +2-2
31
7
2021
antlr4
1 PR +2-1
Java
18,425
3,405
31
thuthesis
1 PR +5-0
TeX
5,009
1,123
40
raft.github.io
1 PR +18-0
HTML
1,435
224