Janggun Lee's repositories
CS454-2020-Team-2
KAIST CS454 Team 2. 2020 Fall
CS579-Project
Final Project for CS579 Computational Linguistics, Fall 2021, at KAIST.
2022-09-26-M_square
증명을 코딩하기 발표자료
Language:Coq000
crossbeam
Tools for concurrent programming in Rust
Language:RustApache-2.0000
cs420
KAIST CS420: Compiler Design (2020 Spring)
000
Language:Ruby000
Paper-Review
Personal repository for paper reviews done by Janggun Lee.
000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
Language:TypeScriptMIT000