KAIST-IS593: Language-based Security (@prosyslab-classroom)
Guthub

prosyslab-classroom

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    211
  • Global Org. Rank 38,735 (Top 13 %)
  • Registered over 4 years ago
  • Most used languages
    Python
         37.5 %
    Shell
         37.5 %
    OCaml
         25.0 %
  • Location 🇰🇷 South Korea
  • Country Total Rank 1,124
  • Country Ranking
    OCaml
         8
    Shell
         59
    Python
         373

Top repositories

1

cs348-information-security

Python
60
star
2

cs524-program-analysis

Python
56
star
3

cs492-program-reasoning

Python
31
star
4

is593-language-based-security

Shell
28
star
5

hardcore-ocaml

OCaml
13
star
6

is661-advanced-software-security

Shell
9
star
7

llvm-primer

7
star
8

is893-2020-fall

Shell
6
star
9

random-program-generator

OCaml
1
star