KAIST Concurrency & Parallelism Laboratory

Where theory meets practice

Daejeon, Korea
https://cp.kaist.ac.kr
@kaist_cp
Verified
We've verified that the organization kaist-cp controls the domain:
- cp.kaist.ac.kr
Learn more about verified organizations

cs420 Public
KAIST CS420: Compiler Design (2020 Spring)

215 16 9 0 Updated Feb 23, 2022
rv6 Public

C 88 15 25 4 Updated Feb 22, 2022
infra-public Public

Shell 0 9 1 0 Updated Jan 31, 2022
kaist-cp.github.io Public

Ruby 5 25 5 0 Updated Jan 28, 2022
kaist-cp.github.io.comments Public

0 0 1 0 Updated Jan 25, 2022
docker-squid-deb-proxy Public
Docker image for squid-deb-proxy

Shell 0 GPL-3.0 8 0 0 Updated Dec 22, 2021
cs431 Public

Rust 783 65 10 0 Updated Dec 10, 2021
hafnium-verification Public

C 1 Apache-2.0 16 28 3 Updated Jun 29, 2021
pebr-benchmark Public

Rust 18 MIT 0 4 0 Updated May 8, 2021
crossbeam Public
Tools for concurrent programming in Rust

Rust 0 313 0 0 Updated May 8, 2021

Popular repositories