Alternatives and similar repositories for pintos-kaist

Users that are interested in pintos-kaist are comparing it to the libraries listed below

• ANLAB-KAIST / KENSv3

  View on GitHub
  This is an auto-generated repository from the whole source code, without reference solution source codes.
  ☆151Mar 16, 2025Updated 11 months ago
• prosyslab-classroom / cs348-information-security

  View on GitHub
  ☆82May 30, 2025Updated 8 months ago
• kaist-cp / cs220

  View on GitHub
  ☆293Nov 27, 2024Updated last year
• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆552Apr 3, 2025Updated 10 months ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Feb 11, 2026Updated last week
• kaist-cp / cs431

  View on GitHub
  ☆1,479Aug 8, 2025Updated 6 months ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆44Nov 20, 2024Updated last year
• mxinden / elimination-backoff-stack

  View on GitHub
  Lock-free elimination back-off stack
  ☆12Jan 6, 2022Updated 4 years ago
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• decaf-lang / minidecaf-tests

  View on GitHub
  The MiniDecaf test cases.
  ☆18May 15, 2025Updated 9 months ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• vickiegpt / OS2019-Labs

  View on GitHub
  PA + Labs for Operating Systems 2019 course in NJU taught by JYY.
  ☆12Aug 6, 2019Updated 6 years ago
• hangpark / pintos-dev-env-kaist

  View on GitHub
  Dockerizing PintOS developement environment for KAIST CS330 course
  ☆13Apr 14, 2017Updated 8 years ago
• sparcs-kaist / taxi-back

  View on GitHub
  KAIST Taxi Party Matching Web Service
  ☆17Updated this week
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 2 months ago
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• PKU-OS / pintos

  View on GitHub
  The pintos source distribution for PKU Operating System Course projects
  ☆55Feb 17, 2025Updated last year
• ucare-uchicago / Queenie

  View on GitHub
  A user-level tool for extracting SSD internal properties
  ☆20Apr 8, 2023Updated 2 years ago
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• rkm0959 / Number_Theory_in_CP_PS

  View on GitHub
  CP, PS 정수론을 위한 가이드
  ☆171Mar 29, 2021Updated 4 years ago
• flexible-address-space / flexspace

  View on GitHub
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Mar 17, 2025Updated 11 months ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• utilForever / 2025-KPSC-AIM-Chess-AI

  View on GitHub
  2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기
  ☆13Jun 22, 2025Updated 7 months ago
• Redstone-Compiler / redstone-compiler

  View on GitHub
  Minecraft Redstone Compiler
  ☆13Feb 9, 2025Updated last year
• niclashedam / ebpf-kill-example

  View on GitHub
  An example of an eBPF program hooking into the kill tracepoint
  ☆22May 26, 2023Updated 2 years ago
• dsrhaslab / paio

  View on GitHub
  PAIO: General, Portable I/O Optimizations With Minor Application Modifications (FAST'22)
  ☆24Jun 7, 2023Updated 2 years ago
• bojieli / SocksDirect

  View on GitHub
  SocksDirect code repository
  ☆19Jun 26, 2022Updated 3 years ago
• utilForever / 2024-SNU-Rust-Application

  View on GitHub
  2024년 서울대학교 SCSC + WaffleStudio 스터디 - Rust 기초 프로그래밍 + 크로스플랫폼 애플리케이션 개발
  ☆43Oct 23, 2024Updated last year
• devsisters / checkpoint

  View on GitHub
  Kubernetes policy checker
  ☆46Aug 1, 2024Updated last year
• Trinity-data-store / Trinity

  View on GitHub
  EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"
  ☆19Mar 8, 2025Updated 11 months ago
• cr0sh / grasshopper-public

  View on GitHub
  Rust-based Lua runtime for cryptocurrency trading
  ☆22Jun 14, 2025Updated 8 months ago
• kmladotnet / kmlaonline

  View on GitHub
  KMLA Online 민사고 학생 커뮤니티
  ☆11Sep 27, 2025Updated 4 months ago
• mooyoul / node-unipass

  View on GitHub
  Node.js API for accessing Unipass (Customs Clearance System of Korean Customs Service)
  ☆11Updated this week
• robotman2412 / boa-risc-v

  View on GitHub
  My second attempt at a RISC-V CPU with learnings form my previous attempt.
  ☆10Apr 29, 2024Updated last year