2025开源操作系统训练营
☆44Aug 19, 2025Updated 11 months ago
Alternatives and similar repositories for rust-based-os-comp2025
Users that are interested in rust-based-os-comp2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX Template for Fudan University School of Computer Science 2024☆12May 21, 2024Updated 2 years ago
- ☆25Jul 20, 2025Updated last year
- Unofficial mirror of https://sourceforge.net/p/tboot☆15Nov 14, 2018Updated 7 years ago
- DELTA-pytorch：DELTA: Dynamically Optimizing GPU Memory beyond Tensor Recomputation☆12Apr 16, 2024Updated 2 years ago
- ML-aided Query Optimizer☆17May 31, 2024Updated 2 years 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.
- Zenoh Flow Python API☆14Jan 30, 2025Updated last year
- codes for MMPM (TIP2018)☆12Mar 29, 2021Updated 5 years ago
- Code on paper: Eraser: Eliminating Performance Regression on Learned Query Optimizer☆13Nov 10, 2023Updated 2 years ago
- ☆17Nov 7, 2024Updated last year
- A microcode-feedback-enhaced post-silicon x86 CPU fuzzer☆16May 15, 2026Updated 2 months ago
- 基于eBPF实现高性能用户态文件系统功能☆14May 9, 2025Updated last year
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- 实现一个基于eBPF技术监控容器行为的工具☆16May 9, 2025Updated last year
- ☆17Jul 23, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Zenoh Flow examples☆20Aug 22, 2023Updated 2 years ago
- RISC-V Worlds provides isolation in a hardware platform by constraining access to system physical addresses.☆15Updated this week
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated last month
- 一个复旦幻灯片的 Typst 主题。An unofficial Fudan slide theme for Typst.☆16Mar 19, 2024Updated 2 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆15Dec 19, 2025Updated 7 months ago
- DRÖM: DREAM 6800 emulator in LÖVE☆24Nov 14, 2023Updated 2 years ago
- 可信计算实验☆10Jan 3, 2022Updated 4 years ago
- ☆54Mar 14, 2025Updated last year
- Light-weight MIPS R4000 and RISC-V system simulator☆19Jul 21, 2026Updated 2 weeks 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.
- Deep dive into learning-based optimizer in one week☆19Nov 14, 2022Updated 3 years ago
- cmu-15445 fall 2024☆18Sep 4, 2025Updated 11 months ago
- ☆12Dec 30, 2020Updated 5 years ago
- ☆22Nov 17, 2023Updated 2 years ago
- Image classifier to help TensorFlow Lite C++ API usage with Bazel.☆12Oct 12, 2021Updated 4 years ago
- Source code of our SIGMOD 2025 paper "Athena: An Effective Learning-based Framework for Query Optimizer Performance Improvement"☆19Aug 11, 2025Updated 11 months ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆23Sep 24, 2023Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- ☆21Jun 12, 2024Updated 2 years 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.
- ☆19Jan 18, 2026Updated 6 months ago
- ☆22Dec 2, 2022Updated 3 years ago
- A testbed for RISCV vulnerable binaries that aims to produce meaningful fingerprints recognizable by a Control Flow integrity Machine Lea…☆18Mar 1, 2024Updated 2 years ago
- [CVPR 2024] Official implementation of "MedBN: Robust Test Time Adaptation against Malicious Test Samples"☆16Sep 5, 2024Updated last year
- ☆24Aug 8, 2021Updated 5 years ago
- 用于研读LevelDB源码时进行注释，持续更新☆12Feb 23, 2023Updated 3 years ago
- Scans of the VIPER newsletter☆27Sep 1, 2021Updated 4 years ago