Write your own operating system with Rust!
☆30Mar 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:
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）☆123Jul 17, 2026Updated last week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- Python tqdm in Rust.☆55Oct 9, 2025Updated 9 months 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
- 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.
- system 2019 project☆14May 1, 2020Updated 6 years ago
- Restore treehole score style.☆50Jan 6, 2026Updated 6 months ago
- I love AI.☆33Dec 25, 2024Updated last year
- 💾 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
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- This repo contains code for our ICML 2023 paper: MEWL: Few-shot multimodal word learning with referential uncertainty☆15Jun 10, 2023Updated 3 years ago
- 帮助新人入门开源,丰富简历☆11Mar 31, 2024Updated 2 years ago
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆145Jun 21, 2025Updated last year
- 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.
- 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 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
- Wishing you could have a 🌈☆15Jan 13, 2026Updated 6 months ago
- An app to compute the coefficients of a function development in a spherical harmonics convergent series.☆19Sep 14, 2022Updated 3 years ago
- 北京大学24秋数据结构与算法A笔记☆134Dec 16, 2025Updated 7 months 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的多任务操作系统的设计和实现。仅供学习参考。An Operating System Designed and Implemented in Rust lang.☆11Feb 20, 2024Updated 2 years ago
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- AQUATOPE: QoS-and-Uncertainty-Aware Resource Management for Multi-Stage Serverless Workflows (ASPLOS'23)☆24Mar 13, 2024Updated 2 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
- Official Implementation of SAM-Decoding: Speculative Decoding via Suffix Automaton☆52May 12, 2026Updated 2 months ago
- NS3 implementation of Homa Transport Protocol☆24Dec 14, 2025Updated 7 months ago
- Lossless Image Format DICI - Dictionary Index for Compressed Image☆16Jun 5, 2025Updated last year
- ODYSSEUS/EduCOSMOS☆10Aug 12, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- intoj 网页端☆17Jul 23, 2019Updated 7 years ago
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆26Oct 8, 2024Updated last year
- 在选课季有一些作用的小玩意☆62Feb 21, 2022Updated 4 years ago
- ☆20Aug 1, 2024Updated last year
- Lox modern cpp implement☆17May 17, 2020Updated 6 years ago
- ☆17Jun 30, 2015Updated 11 years ago
- 北京大学《人工智能中的编程》2024年课程作业代码：基于CUDA和PyBind11的简易CNN训练框架。使用C++/CUDA编写高性能计算内核，通过PyBind11封装为Python库，实现了基础的类PyTorch训练功能。当前版本较为精简，仅供参考学习。☆17Jan 15, 2026Updated 6 months ago