Alternatives and similar repositories for kev

Users that are interested in kev are comparing it to the libraries listed below

• kaist-cp / cs492-uarch
  ☆43Updated last year
• kaist-cp / shakeflow
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆56Updated 11 months ago
• kaist-cp / kecc-public
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆176Updated 6 months ago
• kaist-cp / memento
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆18Updated 2 years ago
• ANLAB-KAIST / KENSv3
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆151Updated 9 months ago
• kaist-cp / cs420
  KAIST CS420: Compiler Design
  ☆548Updated 9 months ago
• prosyslab-classroom / cs524-program-analysis
  ☆63Updated 2 weeks ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• kaist-cp / cs220
  ☆289Updated last year
• prosyslab-classroom / cs424-program-reasoning
  ☆55Updated 3 weeks ago
• kaist-cp / hazardflow
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆20Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated last year
• s3yonsei / blocked_samples
  ☆34Updated 4 months ago
• xlab-uiuc / emt
  EMT: An OS Framework for New Memory Translation Architectures
  ☆26Updated 5 months ago
• kaist-cp / rust-school
  ☆75Updated last year
• kaist-cp / rv6
  ☆133Updated 2 years ago
• SimpleSSD / SimpleSSD
  Open-Source Licensed Educational SSD Simulator for High-Performance Storage and Full-System Evaluations
  ☆56Updated 3 years ago
• snu-csl / pyrisc
  The Educational RISC-V Toolset in Python
  ☆38Updated 3 years ago
• casys-kaist / pintos-kaist
  ☆223Updated 8 months ago
• CMU-SAFARI / Virtuoso
  Virtuoso is a fast, accurate and versatile simulation framework designed for virtual memory research. Virtuoso uses a new simulation met…
  ☆80Updated 2 months ago
• kaist-cp / helpdesk
  ☆23Updated 4 years ago
• sjp38 / masim
  memory access workload simulator
  ☆34Updated 4 months ago
• 0x5ec1ab / gpu-tlb
  ☆76Updated 8 months ago
• hyn2028 / kecc-ir-highlight
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12Updated 3 years ago
• vmexit / trio-sosp23-ae
  ☆20Updated 4 months ago
• etri / nest-compiler
  NEST Compiler
  ☆119Updated 11 months ago
• ut-osa / ingens
  Coordinated and Efficient Huge Page Management with Ingens
  ☆45Updated 8 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated 3 weeks ago
• hongseok-yang / logic21
  ☆22Updated 4 years ago
• Sys-KU / DSA-Linux
  [IEEE CAL 2025] Accelerating Page Migrations in Operating Systems with Intel DSA
  ☆16Updated last year