《日常》
☆18Sep 18, 2021Updated 5 years ago
Alternatives and similar repositories for DailySchedule
Users that are interested in DailySchedule are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- rCore_tutorial_tests☆12Aug 8, 2021Updated 5 years ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 6 years ago
- 实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统☆14Apr 1, 2025Updated last year
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Decaf 实验综述☆12Jan 7, 2020Updated 6 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.
- Rust bindings for the NVM Library http://pmem.io☆15Sep 3, 2016Updated 10 years ago
- [WIP] Tutorial for zCore kernel.☆58Aug 28, 2021Updated 5 years ago
- ☆22May 30, 2025Updated last year
- ☆21Nov 27, 2021Updated 4 years ago
- An SoC with multiple RISC-V IMA processors.☆19Aug 1, 2018Updated 8 years ago
- HAL for the RI5CY core of RV32M1 heterogeneous (two ARM and two RISC-V) quad-core SoC.☆10Sep 28, 2020Updated 6 years ago
- Backend & Frontend for JieLabs☆23Mar 3, 2023Updated 3 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例☆45Apr 17, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆31Jun 1, 2023Updated 3 years ago
- ☆11Jan 12, 2021Updated 5 years ago
- 可运行OS的RISCV-64的硬件模拟器设计与实现☆22Mar 26, 2021Updated 5 years ago
- An RISC-V experimental OS☆27Sep 19, 2023Updated 3 years ago
- Asynchronous OS kernel written in Rust.☆32Nov 27, 2020Updated 5 years ago
- 恰饭网：华中科技大学系统能力竞赛团队主页☆11Jul 23, 2021Updated 5 years ago
- The file system module for rCore OS.☆52Jun 13, 2024Updated 2 years ago
- ☆14Feb 20, 2022Updated 4 years ago
- My record about learning the course MIT-6.824☆13Mar 28, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A modular full-system emulator written in Rust☆37Jul 24, 2026Updated 3 months ago
- Tutorial doc for rCore OS step by step (2nd edition)☆65Nov 19, 2020Updated 5 years ago
- hypercraft is a VMM library written in Rust.☆54Oct 20, 2024Updated 2 years ago
- 对zircon内核的一些分析，欢迎补充！☆62Jan 5, 2020Updated 6 years ago
- ☆27Aug 2, 2017Updated 9 years ago
- A summary of my projects☆48Oct 8, 2026Updated 3 weeks ago
- mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3☆19Feb 16, 2023Updated 3 years ago
- The new Decaf compiler, rewritten in "modern" Java☆66Jul 21, 2020Updated 6 years ago
- Implementation of the model from "Faster sorting algorithms discovered using deep reinforcement learning" that discovered an all-new ult…☆11Aug 29, 2023Updated 3 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.
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Updated this week
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 6 months ago
- The Decaf Book（中文）。包含语言规范和框架文档。☆16Dec 30, 2019Updated 6 years ago
- Operating System Simulator☆18Jun 18, 2019Updated 7 years ago
- A collection of my undergraduate projects☆92Jul 2, 2024Updated 2 years ago
- 基于Rust语言的OS Kernel -- zCore☆18Feb 24, 2022Updated 4 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago