ferros
seL4 library
A Rust-based library providing compile-time assurances and resource tracking for seL4 development.
A Rust-based userland which also adds compile-time assurances to seL4 development.
108 stars
8 watching
11 forks
Language: Rust
last commit: over 1 year ago
Linked from 1 awesome list
rustsel4userland
rust-embedded/awesome-embedded-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jacobrosenthal/dsp-discoveryf4-rust | A Rust implementation of digital signal processing using Arm Cortex-M based microcontrollers. | 31 |
 amethyst/legion | A high-performance Entity component system library for building game projects in Rust. | 1,634 |
 meilisearch/meilisearch-rust | An API client library for interacting with Meilisearch's search engine using the Rust programming language. | 362 |
 rust-cli/rexpect | Automates interactions with child applications and processes by expecting patterns of input and output | 328 |
 dschenkelman/rust-lang-resources | A collection of links and resources related to the Rust programming language. | 6 |
 esp-rs/esp-pacs | A repository of Rust crates providing peripheral access to various Espressif SoCs and modules | 112 |
 rusty-ferris-club/recon | Reconnaissance tool for searching and querying files on a host for security experts | 31 |
 ferrous-systems/elements-of-rust | A collection of software engineering techniques and best practices for writing clear and effective Rust code. | 1,103 |
 rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,756 |
 sarah-quinones/faer-rs | A linear algebra library for the Rust programming language, providing low-level and high-level routines for efficient matrix operations. | 1,878 |
 abdesamedbendjeddou/rusty-cs | An online computer science curriculum focused on the Rust programming language | 907 |
 dalance/sv-parser | A SystemVerilog parser library for Rust. | 409 |
 davylandman/aeslib | An Arduino library providing basic AES encryption/decryption functionality | 349 |
 valderman/selda | A type-safe, high-level interface for interacting with relational databases in Haskell. | 477 |
 vertis/selenium-webdriver | Provides Ruby bindings for WebDriver to automate web browsers | 25 |