Alternatives and similar repositories for cs431

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

• kaist-cp / cs420

  View on GitHub
  KAIST CS420: Compiler Design
  ☆552Apr 3, 2025Updated 10 months ago
• kaist-cp / kecc-public

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

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

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

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• kaist-cp / cs492-uarch

  View on GitHub
  ☆44Nov 20, 2024Updated last year
• risinglightdb / risinglight

  View on GitHub
  An educational OLAP database system.
  ☆1,813Aug 10, 2025Updated 6 months ago
• skyzh / type-exercise-in-rust

  View on GitHub
  Learn Rust dark magics by implementing an expression framework in database systems
  ☆1,469Aug 9, 2025Updated 6 months ago
• prosyslab-classroom / cs524-program-analysis

  View on GitHub
  ☆63Updated this week
• skyzh / mini-lsm

  View on GitHub
  A course of building an LSM-Tree storage engine (database) in a week.
  ☆3,899Nov 3, 2025Updated 3 months ago
• prosyslab-classroom / cs348-information-security

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

  View on GitHub
  ☆225Apr 18, 2025Updated 9 months ago
• 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
• erikgrinaker / toydb

  View on GitHub
  Distributed SQL database in Rust, written as an educational project
  ☆7,179Jan 13, 2026Updated last month
• prosyslab-classroom / cs424-program-reasoning

  View on GitHub
  ☆56Dec 19, 2025Updated last month
• wubx / rust-in-databend

  View on GitHub
  Rust 培养提高计划, 感谢 Databend 社区 支持https://github.com/datafuselabs/databend
  ☆1,081Mar 8, 2022Updated 3 years ago
• kaist-cp / shakeflow

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

  View on GitHub
  open source training courses about distributed database and distributed systems
  ☆10,829Sep 18, 2023Updated 2 years ago
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• crossbeam-rs / crossbeam

  View on GitHub
  Tools for concurrent programming in Rust
  ☆8,293Jan 23, 2026Updated 3 weeks ago
• databendlabs / openraft

  View on GitHub
  rust raft with improvements
  ☆1,822Updated this week
• kaist-cp / memento

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

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• PsiACE / databend-internals

  View on GitHub
  Databend 内幕大揭秘
  ☆303Jan 26, 2024Updated 2 years ago
• databendlabs / databend

  View on GitHub
  Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.
  ☆9,148Updated this week
• skyzh / write-you-a-vector-db

  View on GitHub
  A Vector Database Tutorial (over CMU-DB's BusTub system)
  ☆746Jan 19, 2025Updated last year
• drmingdrmer / one-file-raft

  View on GitHub
  ☆136Jun 25, 2024Updated last year
• hyn2028 / kecc-ir-highlight

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

  View on GitHub
  Rust async runtime based on io-uring.
  ☆4,865Nov 13, 2025Updated 3 months ago
• kaist-cp / circ

  View on GitHub
  CIRC: Concurrent Immediate Reference Counting
  ☆54Nov 15, 2024Updated last year
• cmu-db / bustub

  View on GitHub
  The BusTub Relational Database Management System (Educational)
  ☆4,843Feb 2, 2026Updated last week
• rkm0959 / Number_Theory_in_CP_PS

  View on GitHub
  CP, PS 정수론을 위한 가이드
  ☆171Mar 29, 2021Updated 4 years ago
• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• pretzelhammer / rust-blog

  View on GitHub
  Educational blog posts for Rust beginners
  ☆8,316Feb 17, 2025Updated 11 months ago
• LearningOS / rust-based-os-comp2023

  View on GitHub
  2023秋冬季开源操作系统训练营
  ☆2,115Mar 4, 2024Updated last year
• phil-opp / blog_os

  View on GitHub
  Writing an OS in Rust
  ☆17,276Updated this week
• simnalamburt / snucse.pl

  View on GitHub
  4190.310 Programming Languages (Fall 2015)
  ☆37Sep 28, 2017Updated 8 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