Pinned Loading

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

   An experimental modular OS written in Rust.

   Rust 693 393

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

   Rust version of THU uCore OS. Linux compatible.

   Rust 3.6k 379

3. RVM-Tutorial RVM-Tutorial Public

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

   Rust 159 34

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

   A Type-1.5 hypervisor written in Rust.

   Rust 68 17

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

   A simple judging environment for Olympiad in Informatics

   C++ 112 17

6. minidecaf minidecaf Public

   Forked from decaf-lang/minidecaf

   Web version of the MiniDecaf compiler.

   TypeScript 13 2