Shin-Cheng Mu (@scmu)
github

scmu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    143
  • Global Rank 159,385 (Top 6 %)
  • Followers 42
  • Registered almost 10 years ago
  • Most used languages
    Agda     37.5 %
    Haskell
         25.0 %
    TeX
         25.0 %
    CSS
         12.5 %
  • Location πŸ‡ΉπŸ‡Ό Taiwan
  • Country Total Rank 866
  • Country Ranking
    Agda     1
    Haskell
         8
    TeX
         75
    CSS
         612

Top repositories

1

aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Agda
76
star
2

foundations-harper

Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
Agda
54
star
3

mrm

Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types
Haskell
9
star
4

mds

Code and Proofs Related to the Paper "Functional Pearl: Finding a Densest Segment"
Agda
2
star
5

monad-reasoning

TeX
2
star
6

guabao-paper

TeX
1
star
7

plfp

CSS
1
star
8

queueing-glueing

An algorithmic pattern that provides amortised linear time solutions to a number of optimal list partition problems that have a peculiar property: at various moments we know that two of three candidate solutions could be optimal.
Haskell
1
star