hyerinshelly

Master's student in KAIST @kaist-plrg

KAIST

Pinned Repositories

CheckAttendance
Attendance Checker
Language:F#00
cs492-program-reasoning
00
ETRI_intern
Language:Jupyter Notebook01
paper-study
00
pp-covid19
Estimate population related to covid19 using probabilistic programming
Language:Python00
RL_COVID-19_Korea
Language:Jupyter Notebook10
assignment-docs
Language:Scala12 3 116
jiset
JISET: JavaScript IR-based Semantics Extraction Toolchain
Language:JavaScript40 10 1928
SEAL
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
Language:C++3.5k 94 562706
cs424-program-reasoning
Language:Python44 12 18416

hyerinshelly's Repositories

hyerinshelly/RL_COVID-19_Korea
Language:Jupyter Notebook10
hyerinshelly/CheckAttendance
Attendance Checker
Language:F#00
hyerinshelly/cs492-program-reasoning
00
hyerinshelly/ETRI_intern
Language:Jupyter Notebook01
hyerinshelly/paper-study
00
hyerinshelly/pp-covid19
Estimate population related to covid19 using probabilistic programming
Language:Python00