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 7 months ago
• kaist-cp / kecc-public
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆163Updated last month
• kaist-cp / shakeflow
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆54Updated 5 months ago
• kaist-cp / cs420
  KAIST CS420: Compiler Design
  ☆508Updated 3 months ago
• kaist-cp / memento
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆16Updated 2 years ago
• ANLAB-KAIST / KENSv3
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆145Updated 4 months ago
• prosyslab-classroom / cs424-program-reasoning
  ☆43Updated last week
• kaist-cp / hazardflow
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆19Updated 7 months ago
• prosyslab-classroom / cs524-program-analysis
  ☆61Updated last month
• kaist-cp / cs220
  ☆285Updated 7 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 10 months ago
• kaist-cp / rv6
  ☆131Updated 2 years ago
• hongseok-yang / logic21
  ☆22Updated 4 years ago
• kaist-cp / rust-school
  ☆76Updated 7 months ago
• casys-kaist / pintos-kaist
  ☆217Updated 2 months ago
• host-architecture / colloid
  Tiered Memory Management: Access Latency is the Key!
  ☆50Updated 3 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 10 months ago
• lingfenghsiang / Nomad
  OSDI'24 Nomad implementation
  ☆45Updated 7 months ago
• snu-csl / pyrisc
  The Educational RISC-V Toolset in Python
  ☆38Updated 2 years ago
• ut-osa / ingens
  Coordinated and Efficient Huge Page Management with Ingens
  ☆45Updated 8 years ago
• s3yonsei / blocked_samples
  ☆29Updated 5 months ago
• glarer / UserspaceBypass
  ☆58Updated last year
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated last month
• 0x5ec1ab / gpu-tlb
  ☆62Updated 2 months ago
• kaist-cp / helpdesk
  ☆23Updated 4 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• xlab-uiuc / dmt
  Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
  ☆14Updated last year
• ssimplexity / CS322_fall2024
  KAIST. Formal Languages and Automata. Fall semester.
  ☆18Updated 7 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…
  ☆69Updated 2 months ago
• uclasystem / DRust
  ☆48Updated 9 months ago