Rankings
Badges
/
songyahui
Rankings
Badges
Overview
Ranks
Repositories
Languages
@songyahui
Refresh
Open GitHub
🇸🇬 Singapore
Standard Chartered Bank
Profile age: about 8 years
Updated 7 days ago
43 followers • 4 following
Contacts
https://songyahui.github.io/
Repositories
Semantics_HIPHOP
2
0
updated almost 3 years ago • age over 4 years
C++
79.5%
OCaml
15.0%
JavaScript
3.7%
Hack
1.2%
HTML
0.5%
SyncedEffects
2
0
updated almost 4 years ago • age over 5 years
JavaScript
54.9%
OCaml
28.2%
Coq
14.8%
Shell
1.5%
Haskell
0.5%
DataLogTemp
0
0
updated almost 2 years ago • age over 2 years
Python
79.8%
OCaml
12.6%
C
7.1%
Dockerfile
0.4%
VerifySyncAsync
0
1
updated over 4 years ago • age about 5 years
OCaml
54.2%
JavaScript
44.8%
Shell
0.5%
Makefile
0.4%
Verified-rust-compiler-in-Iris
0
0
updated almost 4 years ago • age almost 4 years
Coq
65.7%
Rust
34.3%
TimedVerification
0
0
updated over 5 years ago • age over 5 years
OCaml
98.2%
C
1.1%
Shell
0.7%
Contributions
