Pinned Loading

1. arceos-org/arceos arceos-org/arceos Public

   An experimental modular OS written in Rust.

   Rust 774 433

2. rcore-os/rCore rcore-os/rCore Public

   Rust version of THU uCore OS. Linux compatible.

   Rust 3.7k 378

3. RVM-Tutorial RVM-Tutorial Public

   Let's write an x86 hypervisor in Rust from scratch!

   Rust 163 36

4. rcore-os/RVM1.5 rcore-os/RVM1.5 Public

   A Type-1.5 hypervisor written in Rust.

   Rust 72 18

5. sxyzccr/CCR-Plus sxyzccr/CCR-Plus Public

   A simple judging environment for Olympiad in Informatics

   C++ 116 20

6. minidecaf minidecaf Public

   Forked from decaf-lang/minidecaf

   Web version of the MiniDecaf compiler.

   TypeScript 13 2