Write your own operating system with Rust!
☆32Mar 23, 2026Updated 5 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☆67Feb 17, 2025Updated last year
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）☆125Jul 17, 2026Updated last month
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- Python tqdm in Rust.☆55Aug 3, 2026Updated 3 weeks ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 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.
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 4 years ago
- ☆15Jan 28, 2025Updated last year
- system 2019 project☆14May 1, 2020Updated 6 years ago
- Restore treehole score style.☆50Jan 6, 2026Updated 7 months ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years 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
- 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.
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- ☆16May 21, 2026Updated 3 months ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆95Mar 19, 2026Updated 5 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 8 months ago
- PVPIN的js运行环境☆19Jun 23, 2018Updated 8 years ago
- ☆15Jun 26, 2024Updated 2 years ago
- [ICLR 2024 Oral] Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness.☆17Jan 19, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Wishing you could have a 🌈☆15Jan 13, 2026Updated 7 months ago
- 北京大学 2024 年秋 ICS 相关资料☆12May 14, 2025Updated last year
- An app to compute the coefficients of a function development in a spherical harmonics convergent series.☆19Sep 14, 2022Updated 3 years ago
- 北京大学24秋数据结构与算法A笔记☆140Dec 16, 2025Updated 8 months ago
- ☆10Feb 13, 2025Updated last year
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-Stage Serverless Workflows (ASPLOS'23)☆25Mar 13, 2024Updated 2 years ago
- Assignments of Introduction to Computer Vision, Peking University, 2022 Spring. 【计算机视觉导论 (北京大学 2022 春) 课程作业】☆18Jun 24, 2022Updated 4 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- pichuang personal website☆19Jun 10, 2025Updated last year
- 《深度学习》专项课程 之 记录自己学习过程中的笔记、编程作业☆15Jul 5, 2021Updated 5 years ago
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆53May 12, 2026Updated 3 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆21Feb 5, 2025Updated last year
- ☆19Oct 18, 2025Updated 10 months ago
- Lossless Image Format DICI - Dictionary Index for Compressed Image☆16Jun 5, 2025Updated last year
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago