Write your own operating system with Rust!
☆35Mar 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☆70Feb 17, 2025Updated last year
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）☆154Sep 9, 2026Updated last month
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 3 years ago
- A points-to and alias analysis benchmark suite☆40Sep 24, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Jan 11, 2024Updated 2 years ago
- Python tqdm in Rust.☆58Sep 14, 2026Updated 3 weeks 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
- a strange book discussing basic stuffs of polynomials☆15Mar 31, 2022Updated 4 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 5 years ago
- system 2019 project☆14May 1, 2020Updated 6 years ago
- Restore treehole score style.☆50Jan 6, 2026Updated 9 months ago
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 3 years ago
- 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)☆14Dec 15, 2022Updated 3 years ago
- ☆17May 21, 2026Updated 4 months ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [ICLR 2024 Oral] Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness.☆17Jan 19, 2024Updated 2 years ago
- Wishing you could have a 🌈☆15Jan 13, 2026Updated 9 months ago
- Command-line script to access global proxy via PKU VPN☆16Sep 10, 2022Updated 4 years ago
- 北京大学 2024 年秋 ICS 相关资料☆15May 14, 2025Updated last year
- An app to compute the coefficients of a function development in a spherical harmonics convergent series.☆19Sep 14, 2022Updated 4 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- 上海交通大学软件工程本科专业课课程笔记☆11Oct 22, 2023Updated 2 years ago
- 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 …☆359Jun 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.
- 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
- pichuang personal website☆19Jun 10, 2025Updated last year
- Create and update a SQL database of NBA stats☆13Dec 24, 2018Updated 7 years ago
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆54May 12, 2026Updated 5 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆22Feb 5, 2025Updated last year