Pinned Repositories
memento
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
memento-proof
[WORK IN PROGRESS] Mechanized Proof for Article: "Memento: A Framework for Detectable Recoverability in Persistent Memory" (PLDI 2023)
view-hw
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
hc-zenburn-vscode
🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code
helpdesk
Homework__Compiler-1
2019학년도 1학기 인하대 컴파일러 실습과제1 (infix2postfix)
Homework__Compiler-2
2019학년도 1학기 인하대 컴파일러 실습과제2 (사칙연산 계산)
Homework__Compiler-3
2019학년도 1학기 인하대 컴파일러 실습과제3 (사칙연산 3-address code)
z-Chrome
Use Chrome efficiently and hail to Doctor Z
lden
Linux Dynamic Event Notifier using extended Berkeley Packet Filter in Linux Kernel
kyeongmincho's Repositories
kyeongmincho/hc-zenburn-vscode
🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code
kyeongmincho/z-Chrome
Use Chrome efficiently and hail to Doctor Z
kyeongmincho/helpdesk
kyeongmincho/Homework__Compiler-1
2019학년도 1학기 인하대 컴파일러 실습과제1 (infix2postfix)
kyeongmincho/Homework__Compiler-2
2019학년도 1학기 인하대 컴파일러 실습과제2 (사칙연산 계산)
kyeongmincho/Homework__Compiler-3
2019학년도 1학기 인하대 컴파일러 실습과제3 (사칙연산 3-address code)
kyeongmincho/Homework__Linear-Algebra-1
2017년도 2학기 인하대 컴퓨터기반선형대수 실습과제 1 (Reduce row echelon form)
kyeongmincho/Practice__R
2018학년도 1학기 인하대 통계소프트웨어및실습 과제 정리
kyeongmincho/AES-128bit
2014학년도 1학기 인하대 컴퓨터보안 실습과제 (AES 128bit)
kyeongmincho/cs492-concur
kyeongmincho/dotfiles
めんどいいいぃぃぃぃぃぃ
kyeongmincho/Homework__Linear-Algebra-2
2017년도 2학기 인하대 컴퓨터기반선형대수 실습과제 2 (LU Factorization)
kyeongmincho/Homework__Linear-Algebra-3
2017년도 2학기 인하대 컴퓨터기반선형대수 실습과제 3 (Matrix Diagonalization)
kyeongmincho/Homework__Operating-System-1
2018학년도 1학기 인하대 운영체제 실습과제1 (FCFS, SJF, RR scheduling)
kyeongmincho/Homework__Operating-System-2
2018학년도 1학기 인하대 운영체제 실습과제2 (Multi-threaded Hash Table)
kyeongmincho/Hongseokzip
홍석집을 내다 팔기 위한 인하광장 광고 꾸미기
kyeongmincho/kaist-cp.github.io
kyeongmincho/Practice__Ocaml
kyeongmincho/republic-plato
2018학년도 2학기 인하대학교 서양고대철학사 9조 토론 페이지
kyeongmincho/rust-lang-book-ko
The Rust Programming Language
kyeongmincho/sflib