kaist-cp / rv6
☆124Updated last year
Related projects: ⓘ
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆105Updated 4 months ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆51Updated 5 months ago
- ☆23Updated 3 years ago
- ☆29Updated 2 weeks ago
- CIRC: Concurrent Immediate Reference Counting☆30Updated 3 months ago
- Concurrent Data Structure for Rust☆29Updated last year
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆111Updated 4 years ago
- ☆258Updated last week
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- KAIST CS420: Compiler Design (2023 Spring)☆412Updated last year
- Build your own - linker☆163Updated 3 years ago
- Web Browser Engineering☆40Updated 2 years ago
- ☆19Updated this week
- RISC-V OS written in Rust☆137Updated 3 months ago
- RedLeaf Operating System☆115Updated 2 years ago
- A hobby x86-64 operating system written in Rust☆123Updated last month
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆36Updated 2 weeks ago
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆11Updated 2 years ago
- ☆11Updated this week
- 2022년 온라인 스터디 - Rust로 만드는 인터프리터☆139Updated 2 years ago
- The Educational RISC-V Toolset in Python☆32Updated last year
- ☆20Updated 3 years ago
- Key-Value based in-memory cache library which supports Custom Expiration Policies☆18Updated 5 months ago
- Lightweight C parser for Rust☆199Updated 2 months ago
- ☆218Updated 3 months ago
- A new register allocator☆209Updated last week
- ☆75Updated 3 weeks ago
- A Raspberry Pi OS Kernel in Rust☆32Updated 2 years ago
- ☆54Updated 3 months ago
- Experimental kernel with built-in replication.☆151Updated 6 months ago