casys-kaist / kev
KAIST Educational Virtualization
☆12Updated last year
Related projects: ⓘ
- ☆29Updated 2 weeks ago
- ☆54Updated 3 months ago
- ☆44Updated last week
- ☆20Updated 3 years ago
- ☆180Updated 6 months ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆134Updated 4 months ago
- ☆61Updated 2 months ago
- ☆75Updated 3 weeks ago
- ☆19Updated 10 months ago
- ☆14Updated last year
- ☆11Updated this week
- ☆19Updated this week
- ☆23Updated 3 years ago
- ☆43Updated 4 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆105Updated 4 months ago
- ☆23Updated this week
- ☆14Updated this week
- 컴퓨터 신기술 특강☆11Updated last year
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆51Updated 5 months ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆10Updated 3 years ago
- ☆258Updated last week
- Programming Principles, SNU 4190.210, 2023 Fall☆22Updated 9 months ago
- Undergraduate Operating Systems course (2019 fall)☆17Updated 4 years ago
- ☆23Updated this week
- ☆10Updated last year
- ☆11Updated 3 months ago
- KAIST CS420: Compiler Design (2023 Spring)☆412Updated last year
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆11Updated 2 years ago
- ☆27Updated this week