Pinned Loading

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

2. linux linux Public

   Forked from wedsonaf/linux

   Adding support for the Rust language to the Linux kernel.

   C

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

4. proc-assertions proc-assertions Public

   A more strict version of the Rust compiler. Verify and assert your code through procedural assumptions!

   Rust 1 1

5. OffloadedDNN OffloadedDNN Public

   Efficient edge computing with custom V4L2 video capture, buffer management, and low-latency concurrent kernel-user memory access.

   Rust

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