Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/scmu

Badges

Overview
Ranks
Repositories
Languages

Shin-Cheng Mu

@scmu

🇹🇼 Taiwan

Academia Sinica

Profile age: over 10 years

Updated 9 days ago

52 followers • 0 following

Repositories

83

9

updated over 9 years ago • age over 10 years

Agda100.0%

foundations-harper

53

2

updated over 6 years ago • age over 9 years

Agda100.0%

9

2

updated over 8 years ago • age about 10 years

Haskell73.2%

Agda26.8%

monad-reasoning

2

0

updated about 1 year ago • age over 7 years

TeX42.8%

Haskell38.7%

Coq18.5%

1

0

updated over 3 years ago • age over 3 years

TeX74.9%

Haskell25.1%

queueing-glueing

0

0

updated over 9 years ago • age over 9 years

Haskell93.3%

C++6.7%

0

0

updated 4 months ago • age over 3 years

Haskell100.0%

Contributions

2025
gcl-all
1 PR +113-95
Haskell
0
1
2024
gcl
1 PR +144-141
Haskell
13
5
66
2018
FLOLAC18
1 PR +9-1
Haskell
2
2