☆1,482Aug 8, 2025Updated 6 months ago
Alternatives and similar repositories for cs431
Users that are interested in cs431 are comparing it to the libraries listed below
Sorting:
- KAIST CS420: Compiler Design☆553Apr 3, 2025Updated 11 months ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆178Jun 13, 2025Updated 8 months ago
- ☆294Nov 27, 2024Updated last year
- ☆135Apr 3, 2023Updated 2 years ago
- ☆23Apr 1, 2021Updated 4 years ago
- ☆46Nov 20, 2024Updated last year
- An educational OLAP database system.☆1,815Aug 10, 2025Updated 6 months ago
- Learn Rust dark magics by implementing an expression framework in database systems☆1,471Aug 9, 2025Updated 6 months ago
- ☆67Updated this week
- A course of building an LSM-Tree storage engine (database) in a week.☆3,923Nov 3, 2025Updated 4 months ago
- ☆81May 30, 2025Updated 9 months ago
- ☆225Apr 18, 2025Updated 10 months ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆151Mar 16, 2025Updated 11 months ago
- Distributed SQL database in Rust, written as an educational project☆7,188Feb 14, 2026Updated 2 weeks ago
- ☆55Dec 19, 2025Updated 2 months ago
- Rust 培养提高计划, 感谢 Databend 社区 支持https://github.com/datafuselabs/databend☆1,081Mar 8, 2022Updated 3 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆57Jan 23, 2025Updated last year
- open source training courses about distributed database and distributed systems☆10,837Sep 18, 2023Updated 2 years ago
- ☆75Nov 21, 2024Updated last year
- Tools for concurrent programming in Rust☆8,346Feb 22, 2026Updated last week
- rust raft with improvements☆1,829Updated this week
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago
- ☆22Jun 18, 2021Updated 4 years ago
- Databend 内幕大揭秘☆301Jan 26, 2024Updated 2 years ago
- Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.☆9,174Updated this week
- A Vector Database Tutorial (over CMU-DB's BusTub system)☆752Jan 19, 2025Updated last year
- ☆135Jun 25, 2024Updated last year
- Support for language highlighting of KECC(KAIST Educational C Compiler) IR☆12May 17, 2022Updated 3 years ago
- Rust async runtime based on io-uring.☆4,895Feb 19, 2026Updated 2 weeks ago
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- The BusTub Relational Database Management System (Educational)☆4,874Feb 16, 2026Updated 2 weeks ago
- CP, PS 정수론을 위한 가이드☆171Mar 29, 2021Updated 4 years ago
- ☆19Dec 13, 2019Updated 6 years ago
- Educational blog posts for Rust beginners☆8,323Feb 17, 2025Updated last year
- 2023秋冬季开源操作系统训练营☆2,115Mar 4, 2024Updated 2 years ago
- Writing an OS in Rust☆17,338Feb 26, 2026Updated last week
- 4190.310 Programming Languages (Fall 2015)☆37Sep 28, 2017Updated 8 years ago
- ☆17May 29, 2023Updated 2 years ago
- ☆67Dec 11, 2018Updated 7 years ago