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.
109 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,636 |
 meilisearch/meilisearch-rust | An API client library for interacting with Meilisearch's search engine using the Rust programming language. | 367 |
 rust-cli/rexpect | Automates interactions with child applications and processes by expecting patterns of input and output | 330 |
 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 | 116 |
 rusty-ferris-club/recon | Reconnaissance tool for searching and querying files on a host for security experts | 32 |
 ferrous-systems/elements-of-rust | A collection of software engineering techniques and best practices for writing clear and effective Rust code. | 1,106 |
 rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 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,891 |
 abdesamedbendjeddou/rusty-cs | An online computer science curriculum focused on the Rust programming language | 913 |
 dalance/sv-parser | A SystemVerilog parser library for Rust. | 412 |
 davylandman/aeslib | An Arduino library providing basic AES encryption/decryption functionality | 352 |
 valderman/selda | A type-safe, high-level interface for interacting with relational databases in Haskell. | 478 |
 vertis/selenium-webdriver | Provides Ruby bindings for WebDriver to automate web browsers | 25 |