@ustc-pldpa
Guthub

ustc-pldpa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    36
  • Global Org. Rank 92,013 (Top 30 %)
  • Registered over 6 years ago
  • Most used languages
    Lua
         40.0 %
    Coq     20.0 %
    C++
         20.0 %
    TeX
         20.0 %

Top repositories

1

2018s

Lua
16
star
2

PFPL

Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
TeX
13
star
3

2021s

C++
5
star
4

2019s

Coq
2
star
5

2018s-final-projects

Student teamworks summary repository for USTC FOPL lecture in spring, 2018.
Lua
2
star