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:
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- A points-to and alias analysis benchmark suite☆42Sep 24, 2018Updated 7 years ago
- ☆10Jan 11, 2024Updated 2 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 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.
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 4 years ago
- 从某清华模版魔改的beamer主题x☆21Apr 24, 2022Updated 4 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 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
- Header-only skip list library for modern C++ (C++17/C++20)☆18Feb 1, 2022Updated 4 years ago
- ☆13Feb 28, 2012Updated 14 years ago
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 2 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆137Jun 21, 2025Updated 11 months ago
- 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.
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆95Mar 19, 2026Updated 2 months ago
- Wishing you could have a 🌈☆16Jan 13, 2026Updated 4 months ago
- Group project for 6.035 at MIT. Compiles "Decaf" (simple C-like language without classes) to x86-64 assembly.☆11Feb 18, 2018Updated 8 years ago
- ☆15Jun 26, 2024Updated last year
- Starter Code for Default Final Project, Spring 2024☆15Jun 6, 2024Updated last year
- [ICLR 2024 Oral] Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness.☆17Jan 19, 2024Updated 2 years ago
- 同济大学操作系统课程小学期课设：基于Rust的多任务操作系统的设计和实现 。仅供学习参考。An Operating System Designed and Implemented in Rust lang.☆12Feb 20, 2024Updated 2 years ago
- Command-line script to access global proxy via PKU VPN☆16Sep 10, 2022Updated 3 years ago
- User-space TCP/IP stack☆39Jan 23, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆21May 24, 2025Updated last year
- pichuang personal website☆19Jun 10, 2025Updated 11 months 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 7 years ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- A tiny yet powerful LLM inference system tailored for researching purpose. vLLM-equivalent performance with only 2k lines of code (2% of …☆330Jun 10, 2025Updated 11 months ago
- 在选课季有一些作用的小玩意☆64Feb 21, 2022Updated 4 years ago
- ☆19Aug 1, 2024Updated last year
- A Typst template for CNOI-style statements for competitive programming. | CNOI 题面排版风格的 Typst 模板。☆36Aug 13, 2025Updated 9 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.
- HUST-CS-2019 编译原理课程及其实验内容☆14Oct 25, 2022Updated 3 years ago
- Lox modern cpp implement☆16May 17, 2020Updated 6 years ago
- Website for CSE 234, Winter 2025☆15Mar 24, 2025Updated last year
- Expressive, Easy to Build, and High-Performance Application Networks☆19Jul 1, 2025Updated 10 months ago
- An Attention Superoptimizer☆22Jan 20, 2025Updated last year
- Smoothing video traffic to make it a friendlier internet neighbor☆14Apr 23, 2024Updated 2 years ago
- typst民间模板艺术☆25May 12, 2026Updated last week