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

KAIST CS420: Compiler Design

LLMServingSim: A HW/SW Co-Simulation Infrastructure for LLM Inference Serving at Scale

CIRC: Concurrent Immediate Reference Counting

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

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

The CompCert formally-verified C compiler

KakaoTalk Environment on Debian Linux (카카오톡 데비안 리눅스 환경)

A WICWIU implementation using rust

Writing an OS in Rust

Compiler for Neural Network hardware accelerators

Epoch-based garbage collection

the champagne of beta embedded databases

RFCs for changes to Crossbeam

A benchmark framework for concurrent queue implementations

Collecting examples and information to help design a memory model for Rust.

The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

Tools for concurrent programming in Rust

Lean Theorem Prover

Scalable, coroutine-based, asynchronous IO handling library for Rust programming language. (aka MIO COroutines).

Communication primitives

algospot.com, forum + online judge for Korean programming contestants