Pinned Loading

1. 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

2. 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

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. 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

5. 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++

6. YaleComputerSociety/YaleClubs YaleComputerSociety/YaleClubs Public

   Website to view yale clubs and events

   TypeScript 14 2