Write your own operating system with Rust!
☆30Mar 23, 2026Updated 3 weeks 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
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- 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
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）, 支持查看/提交作业、下载课程回放.☆88Updated this week
- 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.
- system 2019 project☆14May 1, 2020Updated 5 years ago
- 从某清华模版魔改的beamer主题x☆21Apr 24, 2022Updated 3 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆47Feb 13, 2025Updated last year
- Header-only skip list library for modern C++ (C++17/C++20)☆19Feb 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.☆94Mar 19, 2026Updated 3 weeks ago
- Command-line script to access global proxy via PKU VPN☆15Sep 10, 2022Updated 3 years ago
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- CMU 15-712 lecture slides☆11Jan 6, 2020Updated 6 years 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
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆23Oct 8, 2024Updated last year
- ☆10Feb 13, 2025Updated last year
- ☆15Jun 26, 2024Updated last year
- A RISC-V OS written in Zig.☆23Dec 21, 2021Updated 4 years ago
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- ☆15Feb 27, 2024Updated 2 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Democratizing AlphaFold3: an PyTorch reimplementation to accelerate protein structure prediction☆21May 24, 2025Updated 10 months ago
- A program for making zooming slides in figma.☆42Jul 1, 2025Updated 9 months ago
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- NS3 implementation of Homa Transport Protocol☆23Dec 14, 2025Updated 4 months ago
- Assignments of Introduction to Computer Vision, Peking University, 2022 Spring. 【计算机视觉导论 (北京大学 2022 春) 课程作业】☆18Jun 24, 2022Updated 3 years ago
- intoj 网页端☆17Jul 23, 2019Updated 6 years ago
- A tiny yet powerful LLM inference system tailored for researching purpose. vLLM-equivalent performance with only 2k lines of code (2% of …☆320Jun 10, 2025Updated 10 months ago
- 在选课季有一些作用的小玩意☆63Feb 21, 2022Updated 4 years ago
- ☆19Aug 1, 2024Updated last year
- 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.
- ☆16Jun 30, 2015Updated 10 years ago
- SocksDirect code repository☆19Jun 26, 2022Updated 3 years ago
- The BusTub Relational Database Management System (Educational)☆30Jan 19, 2024Updated 2 years ago
- Implementation of the paper 'Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance' (EMNLP 2025)☆27Dec 16, 2025Updated 3 months ago
- Website for CSE 234, Winter 2025☆13Mar 24, 2025Updated last year
- Expressive, Easy to Build, and High-Performance Application Networks☆18Jul 1, 2025Updated 9 months ago
- An Attention Superoptimizer☆22Jan 20, 2025Updated last year