Write your own operating system with Rust!
☆28Mar 11, 2026Updated 2 weeks ago
Alternatives and similar repositories for Tacos
Users that are interested in Tacos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The pintos source distribution for PKU Operating System Course projects☆65Feb 17, 2025Updated last year
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 4 years ago
- system 2019 project☆14May 1, 2020Updated 5 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆45Feb 13, 2025Updated last year
- Header-only skip list library for modern C++ (C++17/C++20)☆19Feb 1, 2022Updated 4 years ago
- ☆13Feb 28, 2012Updated 14 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- ☆19Oct 18, 2025Updated 5 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆94Updated this week
- Command-line script to access global proxy via PKU VPN☆15Sep 10, 2022Updated 3 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- ☆15Jun 26, 2024Updated last year
- Starter Code for Default Final Project, Spring 2024☆14Jun 6, 2024Updated last year
- Automated bibliography verification and LaTeX quality auditing for papers.☆82Jan 22, 2026Updated 2 months ago
- A RISC-V OS written in Zig.☆23Dec 21, 2021Updated 4 years ago
- Rust-style mutex type for C++☆16Jan 12, 2024Updated 2 years ago
- Straightforward and functional theorem/proof environments in Typst.☆17Feb 24, 2025Updated last year
- Create and update a SQL database of NBA stats☆13Dec 24, 2018Updated 7 years ago
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆21May 24, 2025Updated 10 months ago
- AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-Stage Serverless Workflows (ASPLOS'23)☆24Mar 13, 2024Updated 2 years ago
- pichuang personal website☆19Jun 10, 2025Updated 9 months ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- A tiny yet powerful LLM inference system tailored for researching purpose. vLLM-equivalent performance with only 2k lines of code (2% of …☆320Jun 10, 2025Updated 9 months ago
- 在选课季有一些作用的小玩意☆64Feb 21, 2022Updated 4 years ago
- ☆19Aug 1, 2024Updated last year
- ☆14Jun 30, 2015Updated 10 years ago
- Lox modern cpp implement☆16May 17, 2020Updated 5 years ago
- The BusTub Relational Database Management System (Educational)☆29Jan 19, 2024Updated 2 years ago
- SocksDirect code repository☆19Jun 26, 2022Updated 3 years ago
- Implementation of the paper 'Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance' (EMNLP 2025)☆28Dec 16, 2025Updated 3 months ago
- Website for CSE 234, Winter 2025☆13Mar 24, 2025Updated last year
- An Attention Superoptimizer☆22Jan 20, 2025Updated last year
- Repository for the DPP'23 course☆11May 2, 2024Updated last year
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 3 years ago
- The MiniDecaf test cases.☆18May 15, 2025Updated 10 months ago
- PKU 编译 lab 2023 - SysY 编译器☆15Oct 17, 2023Updated 2 years ago