Write your own operating system with Rust!
☆34Mar 23, 2026Updated 6 months 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☆68Feb 17, 2025Updated last year
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）☆144Sep 9, 2026Updated 2 weeks ago
- A points-to and alias analysis benchmark suite☆40Sep 24, 2018Updated 7 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 5 years ago
- ☆15Jan 28, 2025Updated last year
- system 2019 project☆14May 1, 2020Updated 6 years ago
- Restore treehole score style.☆50Jan 6, 2026Updated 8 months ago
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 3 years ago
- 帮助新人入门开源,丰富简历☆11Mar 31, 2024Updated 2 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- ☆17May 21, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆95Mar 19, 2026Updated 6 months 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
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 9 months ago
- A lecture note of Prof. Liwei Wang's course on **Information Theory**.☆19Jun 9, 2025Updated last year
- ☆15Jun 26, 2024Updated 2 years ago
- [ICLR 2024 Oral] Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness.☆17Jan 19, 2024Updated 2 years ago
- Command-line script to access global proxy via PKU VPN☆16Sep 10, 2022Updated 4 years ago
- A RISC-V OS written in Zig.☆23Dec 21, 2021Updated 4 years ago
- 北京大学 2024 年秋 ICS 相关资料☆12May 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 北京大学24秋数据结构与算法A笔记☆152Dec 16, 2025Updated 9 months ago
- 同济大学操作系统课程小学期课设：基于Rust的多任务操作系统的设计和实现。仅供学习参考。An Operating System Designed and Implemented in Rust lang.☆11Feb 20, 2024Updated 2 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- Straightforward and functional theorem/proof environments in Typst.☆17Feb 24, 2025Updated last year
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- A tiny yet powerful LLM inference system tailored for researching purpose. vLLM-equivalent performance with only 2k lines of code (2% of …☆358Jun 10, 2025Updated last year
- Introduction to Data Science with Simulated Electronic Medical Record Data☆13Nov 14, 2022Updated 3 years ago
- A simulated filesystem written in C++ that operates in an instructor-provided shell, written for an Operating Systems class in Fall 2017.☆13Jul 8, 2018Updated 8 years ago
- pichuang personal website☆19Jun 10, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆54May 12, 2026Updated 4 months ago
- ☆19Oct 18, 2025Updated 11 months ago
- Lossless Image Format DICI - Dictionary Index for Compressed Image☆16Jun 5, 2025Updated last year
- Towards a Mechanistic Understanding of Large Reasoning Models: A Survey of Training, Inference, and Failures☆35Jan 29, 2026Updated 7 months ago
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago
- intoj 网页端☆17Jul 23, 2019Updated 7 years ago
- ☆19May 22, 2026Updated 4 months ago