songyahui - GitHub Analytics

@songyahui

Open GitHub

🇸🇬 Singapore

Standard Chartered Bank

Profile age: about 8 years

Updated 7 days ago

43 followers • 4 following

Contacts

https://songyahui.github.io/

Profile Overview

Global Singapore

Rank in Singapore

Advanced 2

Persona

Influencer

N/A

#1,704

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

Semantics_HIPHOP

updated almost 3 years ago • age over 4 years

C++79.5%

OCaml15.0%

JavaScript3.7%

Hack1.2%

HTML0.5%

SyncedEffects

updated almost 4 years ago • age over 5 years

JavaScript54.9%

OCaml28.2%

Coq14.8%

Shell1.5%

Haskell0.5%

DataLogTemp

updated almost 2 years ago • age over 2 years

Python79.8%

OCaml12.6%

C7.1%

Dockerfile0.4%

VerifySyncAsync

updated over 4 years ago • age about 5 years

OCaml54.2%

JavaScript44.8%

Shell0.5%

Makefile0.4%

Verified-rust-compiler-in-Iris

updated almost 4 years ago • age almost 4 years

Coq65.7%

Rust34.3%

View all 6 repositories

Latest Updates

18 Oct 2025
Followers Count:36 43
04 Oct 2025
Followers Count:35 36
20 Sep 2025
Company:NUS CS Research Fellow Standard Chartered Bank
Followers Count:34 35
03 Jul 2025
Website Url:https://www.comp.nus.edu.sg/~yahuis/ https://songyahui.github.io/
17 Jan 2025
First seen

Subscribe to songyahui's GitHub rank updates in your messenger

WhatsApp Telegram