Explore @kaist-cp Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

MATLAB

Shell

Perl

Crystal

Scala

Julia

Assembly

Groovy

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Perl

Dart

Rust

Python

Erlang

TypeScript

Clojure

MATLAB

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇰🇭 Cambodia

🇨🇱 Chile

🇮🇳 India

🇹🇰 Tokelau

🇸🇾 Syria

🇰🇪 Kenya

🇦🇿 Azerbaijan

🇭🇰 Hong Kong

All Countries Compare Countries

KAIST Concurrency & Parallelism Laboratory (@kaist-cp)

kaist-cp

Stars
2,366
Global Org. Rank 8,388 (Top 3 %)
Registered about 8 years ago
Most used languages

Rust
42.1 %

Coq 26.3 %

TeX
5.3 %

Ruby
5.3 %

JavaScript
5.3 %

C
5.3 %

Emacs Lisp
5.3 %

SystemVerilog 5.3 %
Location 🇰🇷 South Korea
Country Total Rank 100
Country Ranking

Coq 2

Rust
2

SystemVerilog 4

Emacs Lisp
6

C
41

TeX
105

Ruby
120

JavaScript
4,014

cs431

cs420

KAIST CS420: Compiler Design (2023 Spring)

cs220

rv6

kecc-public

KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

rust-school

shakeflow

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)

smr-benchmark

SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes

circ

CIRC: Concurrent Immediate Reference Counting

cs500

Moved to https://cp-git.kaist.ac.kr/jeehoon.kang/cs500

cs492-uarch

helpdesk

memento

Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

study-csl

hazardflow

HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!

kaist-cp.github.io

hp-plus

HP++: A Hazard Pointers Extension for Better Applicability

chase-lev-verification

view-hw

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

smr-verification

Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)

rmem-persistency

cs230

Moved to https://cp-git.kaist.ac.kr/cs230/cs230

relaxed-memory-separation-logic

events

as602