Pinned Loading

1. WeensyOS WeensyOS Public

   For your CPSC3230 Practices @ Yale Systems Programming Course: First C–Rust Hybrid OS (Equal LOC) over FFI.

   C 4

2. RWeensyOS RWeensyOS Public

   Rust version of WeensyOS——a tiny kernel that can run on bare-metal x86-64 machines (including QEMU's emulated CPUs), aiming for easy physical and virtual memory display with minimal unsafe code (cu…

   Rust 4

3. FastRaft FastRaft Public

   A Hierarchical gRPC Model for Fast Distributed Consensus in Dynamic Networks. Tested on AWS EKS. https://arxiv.org/pdf/2004.06215

   Go 2 1

4. linux linux Public

   Forked from wedsonaf/linux

   Adding support for the Rust language to the Linux kernel. Available in v6.1 Linux mainline, October 2022.

   C 1

5. hopter hopter Public

   Forked from hopter-project/hopter

   A Rust-based embedded operating system designed to enable memory safe, memory efficient, reliable, and responsive applications.

   Rust

6. OoO-PARCv2 OoO-PARCv2 Public

   Verilog-based EENG 520 labs at Yale: iterative 32-bit multiply/divide unit, pipelined & superscalar PARCv2 processors with bypassing, and an out-of-order speculative execution engine.

   C++