Alternatives and similar repositories for cs420

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

• kaist-cp / kecc-public

  View on GitHub
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆179Jun 13, 2025Updated 8 months ago
• kaist-cp / cs431

  View on GitHub
  ☆1,479Aug 8, 2025Updated 6 months ago
• kaist-cp / cs220

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

  View on GitHub
  ☆44Nov 20, 2024Updated last year
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• 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 10 months ago
• kaist-cp / rv6

  View on GitHub
  ☆135Apr 3, 2023Updated 2 years ago
• kaist-cp / memento

  View on GitHub
  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
  ☆19Apr 27, 2023Updated 2 years ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• hyn2028 / kecc-ir-highlight

  View on GitHub
  Support for language highlighting of KECC(KAIST Educational C Compiler) IR
  ☆12May 17, 2022Updated 3 years ago
• casys-kaist / pintos-kaist

  View on GitHub
  ☆225Apr 18, 2025Updated 9 months ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• hongseok-yang / logic23

  View on GitHub
  ☆17May 29, 2023Updated 2 years ago
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• hongseok-yang / logic21

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

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• kaist-cp / hazardflow

  View on GitHub
  HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
  ☆20Dec 5, 2024Updated last year
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 2 months ago
• simnalamburt / snucse

  View on GitHub
  Happy Campus Life
  ☆259Aug 26, 2021Updated 4 years ago
• kaist-plrg-cs320 / assignment-docs

  View on GitHub
  ☆23Aug 21, 2024Updated last year
• casys-kaist / kev

  View on GitHub
  KAIST Educational Virtualization
  ☆16Oct 4, 2024Updated last year
• utilForever / 2022-Make-Interpreter-Rust

  View on GitHub
  2022년 온라인 스터디 - Rust로 만드는 인터프리터
  ☆139Aug 21, 2022Updated 3 years ago
• koosaga / project-hardness

  View on GitHub
  Computational Hardness 스터디
  ☆19Apr 5, 2023Updated 2 years ago
• ShitVM / ShitVM

  View on GitHub
  가벼운 가상머신
  ☆16Oct 10, 2023Updated 2 years ago
• disjukr / life

  View on GitHub
  my life
  ☆29Jan 12, 2026Updated last month
• rkm0959 / Number_Theory_in_CP_PS

  View on GitHub
  CP, PS 정수론을 위한 가이드
  ☆171Mar 29, 2021Updated 4 years ago
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 years ago
• codingskynet / concurrent-data-structure

  View on GitHub
  Concurrent Data Structure for Rust
  ☆29Dec 25, 2022Updated 3 years ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• bekker / hangeul-rs

  View on GitHub
  Korean alphabet manipulation library for Rust
  ☆27Mar 18, 2024Updated last year
• utilForever / 2022-Make-Compiler-Rust

  View on GitHub
  2022년 온라인 스터디 - Rust로 만드는 컴파일러
  ☆33Feb 15, 2022Updated 3 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• snu-sf / promising-coq

  View on GitHub
  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
  ☆43Oct 15, 2024Updated last year
• kaist-cp / smr-benchmark

  View on GitHub
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆45Aug 12, 2025Updated 6 months ago
• opengirok / ogk

  View on GitHub
  정보공개청구 내역 및 파일을 실시간으로 한번에 확인할 수 있는 <정보공개포털 치트키> 코드를 공유합니다
  ☆30Jul 30, 2025Updated 6 months ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year