Write your own operating system with Rust!
☆30Mar 23, 2026Updated 2 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☆65Feb 17, 2025Updated last year
- 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 2 years ago
- ☆10Jan 11, 2024Updated 2 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 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.
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 4 years ago
- system 2019 project☆14May 1, 2020Updated 6 years ago
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- 💾 A thread-safe, easy to use, header-only, fast and simple cache with selectable replacement algorithms and performance statistics☆17May 17, 2023Updated 3 years ago
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆50May 12, 2026Updated last month
- ☆14Feb 28, 2012Updated 14 years ago
- PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆137Jun 21, 2025Updated 11 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
- 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.
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 5 months ago
- Wishing you could have a 🌈☆16Jan 13, 2026Updated 5 months ago
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆26Oct 8, 2024Updated last year
- ☆15Jun 26, 2024Updated last year
- 同济大学操作系统课程小学期课设：基于Rust的多任务操作系统的设计和实现。仅供学习参考。An Operating System Designed and Implemented in Rust lang.☆12Feb 20, 2024Updated 2 years ago
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- ☆16Feb 27, 2024Updated 2 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆22May 24, 2025Updated last year
- 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.
- AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-Stage Serverless Workflows (ASPLOS'23)☆24Mar 13, 2024Updated 2 years ago
- Create and update a SQL database of NBA stats☆13Dec 24, 2018Updated 7 years ago
- pichuang personal website☆19Jun 10, 2025Updated last year
- 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 7 years ago
- A program for making zooming slides in figma.☆42Jul 1, 2025Updated 11 months ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- Assignments of Introduction to Computer Vision, Peking University, 2022 Spring. 【计算机视觉导论 (北京大学 2022 春) 课程作业】☆18Jun 24, 2022Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.☆16Feb 5, 2025Updated last year
- intoj 网页端☆17Jul 23, 2019Updated 6 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.
- 在选课季有一些作用的小玩意☆64Feb 21, 2022Updated 4 years ago
- ☆19Aug 1, 2024Updated last year
- ☆17Jun 30, 2015Updated 10 years ago
- A Typst template for CNOI-style statements for competitive programming. | CNOI 题面排版风格的 Typst 模板。☆36Aug 13, 2025Updated 10 months ago
- HUST-CS-2019 编译原理课程及其实验内容☆14Oct 25, 2022Updated 3 years ago
- Lox modern cpp implement☆16May 17, 2020Updated 6 years ago
- The BusTub Relational Database Management System (Educational)☆30Jan 19, 2024Updated 2 years ago