Kyeongmin Cho drzix @kaist-cp Daejeon, Korea (λf.(λx.f (x x)) (λx.f (x x))) fix_bug

1step6thswmaestro/5 5


drzix/hc-zenburn-vscode 5

🌘An Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code

drzix/z-Chrome 2

Use Chrome efficiently and hail to Doctor Z

drzix/Homework__Linear-Algebra-1 1

2017년도 2학기 인하대 컴퓨터기반선형대수 실습과제 1 (Reduce row echelon form)

drzix/Practice__R 1

2018학년도 1학기 인하대 통계소프트웨어및실습 과제 정리

drzix/AES-128bit 0

Simple C code of AES 128bit Encyption or decryption algorithm

drzix/dotfiles 0


drzix/Homework__Compiler-1 0

2019학년도 1학기 인하대 컴파일러 실습과제1 (infix2postfix)

issue closeddrzix/hc-zenburn-vscode

Extension has no LICENSE

Please choose an open source license for your project.

closed time in a month


issue commentdrzix/hc-zenburn-vscode

Extension has no LICENSE

As bbastov had added GPL3.0 for his repo, I added the same one. Thanks for your pointing out.

If you have another problem about this issue, please feel free to reopen.


comment created time in a month

push eventdrzix/hc-zenburn-vscode

Kyeongmin Cho

commit sha f206d97b02bb55bfc2632dc52e3c7362af3997a6

license: add license (#4) Signed-off-by: Kyeongmin Cho <>

view details

push time in a month


started time in 2 months

issue openeddrzix/hc-zenburn-vscode

coq proof color

created time in 2 months

issue commentdrzix/hc-zenburn-vscode

Consider giving different colors for different declarations

Thanks again!


comment created time in 3 months

issue commentdrzix/hc-zenburn-vscode

Suggestion: don't color variable declarations differently

Hi, Aleksey. Thanks for your detailed suggestion :)

This theme was originally meant to replicate the Emacs one. So I wasn't very suspicious of the way it displays color. However, I noticed the need to modify this theme in moderation as your suggestions seemed sufficiently convincing. I'll apply it in the next patch.


comment created time in 3 months