Pinned Loading

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

   An experimental modular OS written in Rust.

   Rust 787 435

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

   Rust version of THU uCore OS. Linux compatible.

   Rust 3.7k 374

3. RVM-Tutorial RVM-Tutorial Public

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

   Rust 166 36

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

   A Type-1.5 hypervisor written in Rust.

   Rust 73 18

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

   A simple judging environment for Olympiad in Informatics

   C++ 122 20

6. minidecaf minidecaf Public

   Forked from decaf-lang/minidecaf

   Web version of the MiniDecaf compiler.

   TypeScript 13 2