ferros
by auxoncorp
A Rust-based userland which also adds compile-time assurances to seL4 development.
AI summary
seL4 library
A Rust-based library providing compile-time assurances and resource tracking for seL4 development.
- stars
- 109
- forks
- 11
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
DSP software
A Rust implementation of digital signal processing using Arm Cortex-M based microcontrollers.
amethyst/legion1.6K
Game engine library
A high-performance Entity component system library for building game projects in Rust.
Search library
An API client library for interacting with Meilisearch's search engine using the Rust programming language.
Expectation tool
Automates interactions with child applications and processes by expecting patterns of input and output
Rust resource hub
A collection of links and resources related to the Rust programming language.
SoC driver library
A repository of Rust crates providing peripheral access to various Espressif SoCs and modules
File scraper
Reconnaissance tool for searching and querying files on a host for security experts
Rust coding guidelines
A collection of software engineering techniques and best practices for writing clear and effective Rust code.
rust-lang/rust99.5K
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
Linear algebra library
A linear algebra library for the Rust programming language, providing low-level and high-level routines for efficient matrix operations.
CS course
An online computer science curriculum focused on the Rust programming language
Parser library
A SystemVerilog parser library for Rust.
AES library
An Arduino library providing basic AES encryption/decryption functionality
Database library
A type-safe, high-level interface for interacting with relational databases in Haskell.
Browser automation library
Provides Ruby bindings for WebDriver to automate web browsers
Featured in 1 awesome list
Each link jumps to the spot where the list mentions ferros.
