GaloisInc / rustwall
Rust firewall for seL4
☆10Updated 6 years ago
Alternatives and similar repositories for rustwall:
Users that are interested in rustwall are comparing it to the libraries listed below
- A deque implemented as a hybrid linked-list-of-arrays☆10Updated 9 years ago
- File serving using tower web☆19Updated 6 years ago
- A disassembler framework☆18Updated 2 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 5 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Data structures used by the RLS and Rust compiler☆11Updated 6 years ago
- Print bytes as losslessly as possible.☆18Updated 4 months ago
- Low overhead, high precision measurement crate for Rust☆16Updated 2 weeks ago
- Easy sandboxing for rust☆10Updated 8 years ago
- A golden file testing library for rust☆33Updated 2 months ago
- Utilities building on top of Rust's async primitives.☆23Updated 5 years ago
- Library for Unix users and groups in Rust.☆10Updated 11 months ago
- speedy web micro-framework using sled, io_uring and SIMD☆12Updated 5 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- Utilities to help working with the filesytem☆11Updated 4 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- Rust crate that creates anonymous shared memory file descriptors for IPC using memfd/SHM_ANON/shm_open | now on https://github.com/valpac…☆13Updated 2 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆33Updated 3 weeks ago
- A DSL for Software-Defined Satellite Applications☆24Updated 4 years ago
- SIMD optimised algorithms and data types☆18Updated 5 years ago
- The HexagonE VM☆25Updated 2 years ago
- Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer☆11Updated 6 years ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated 2 weeks ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago