cmsc388z / lecturesLinks
☆28Updated 3 years ago
Alternatives and similar repositories for lectures
Users that are interested in lectures are comparing it to the libraries listed below
Sorting:
- Basic template for an out-of-tree Linux kernel module written in Rust.☆342Updated 2 months ago
- Verifying the Rust standard library☆322Updated last week
- Learning materials for the Rust Training courses by Ferrous Systems☆305Updated this week
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆126Updated 5 years ago
- ☆135Updated 2 years ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆24Updated last month
- ☆198Updated 11 months ago
- A Rust library for safely programming persistent memory☆75Updated last year
- A bogus CPU emulator written in Rust.☆55Updated last year
- User programs for rCore OS☆19Updated 3 years ago
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆262Updated 5 months ago
- Asynchronous Programming in Rust, published by Packt☆295Updated 5 months ago
- An Extensible Compiler IR Framework☆253Updated last week
- ☆19Updated last year
- Low level access to processors using the AArch64 execution state.☆105Updated 2 months ago
- RedLeaf Operating System☆138Updated 3 years ago
- The rustic MLIR bindings in Rust☆473Updated last week
- Rust project ideas for Google Summer of Code☆215Updated last week
- understanding the safety of Rust☆100Updated 5 years ago
- A collection of blog posts and links that talk about how to successfully use Rust.☆403Updated 3 years ago
- ☆12Updated 2 years ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆137Updated this week
- A try to follow the rust port in Linux kernel in driver development.☆105Updated 3 years ago
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://gitlab.com/spade-lang/spad…☆43Updated this week
- A Rust language and style specification for the LaTeX-package listings☆187Updated 2 years ago
- Practical System Programming for Rust Developers, published by Packt☆239Updated 3 years ago
- Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot☆27Updated last year
- Paging Debug tool for GDB using python☆13Updated 3 years ago
- Documentation, code and information for the Safety Critical Rust Consortium☆130Updated last week
- A curated list of awesome Rust checkers☆64Updated last week