Youyou Cong (@YouyouCong)
github

YouyouCong

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    60
  • Global Rank 300,258 (Top 11 %)
  • Followers 63
  • Registered almost 9 years ago
  • Most used languages
    Agda     50.0 %
    OCaml
         33.3 %
    Racket
         16.7 %
  • Location 🇯🇵 Japan
  • Country Total Rank 5,784
  • Country Ranking
    Agda     1
    Racket
         25
    OCaml
         30

Top repositories

1

ppl-summer-school-2022

OCaml
24
star
2

type-preserving-cps

Type-preserving CPS translation for simply- and dependently-typed lambda calculi
Agda
18
star
3

counterpoint

Agda
10
star
4

control

A typed control/prompt calculus in Agda
Agda
6
star
5

stepper_ochacaml

A stepper (step-by-step interpreter) implemented using shift and reset
OCaml
1
star
6

edu22

Racket
1
star