Write your own operating system with Rust!
☆31Mar 23, 2026Updated 4 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 3 weeks ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- ☆11Jan 11, 2024Updated 2 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 4 years ago
- Restore treehole score style.☆50Jan 6, 2026Updated 7 months ago
- I love AI.☆33Dec 25, 2024Updated last year
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 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)☆13Dec 15, 2022Updated 3 years ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆95Mar 19, 2026Updated 4 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 7 months ago
- A lecture note of Prof. Liwei Wang's course on **Information Theory**.☆19Jun 9, 2025Updated last year
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆10Feb 18, 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
- Command-line script to access global proxy via PKU VPN☆16Sep 10, 2022Updated 3 years ago
- CMU 15-712 lecture slides☆11Jan 6, 2020Updated 6 years ago
- 北京大学24秋数据结构与算法A笔记☆135Dec 16, 2025Updated 7 months ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 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.
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- 上海交通大学软件工程本科专业课课程笔记☆11Oct 22, 2023Updated 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 …☆332Jun 10, 2025Updated last year
- Deep dive into learning-based optimizer in one week☆19Nov 14, 2022Updated 3 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
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆52May 12, 2026Updated 3 months ago
- NS3 implementation of Homa Transport Protocol☆24Dec 14, 2025Updated 7 months 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.
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆20Feb 5, 2025Updated last year
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 6 years ago
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆26Oct 8, 2024Updated last year
- HUST-CS-2019 编译原理课程及其实验内容☆14Oct 25, 2022Updated 3 years ago
- 北京大学《人工智能中的编程》2024年课程作业代码：基于CUDA和PyBind11的简易CNN训练框架。使用C++/CUDA编写高性能计算内核，通过PyBind11封装为Python库，实现了基础的类PyTorch训练功能。当前版本较为精简，仅供参考学习。☆17Jan 15, 2026Updated 6 months ago
- Signed distance field library usable on both CPU and GPU.☆15Feb 17, 2026Updated 5 months ago
- This is the live www.irchelp.org site - please feel free to submit pull requests!☆30Mar 8, 2026Updated 5 months ago