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
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Compiler for the Lavish IDL☆17Updated 5 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- ☆10Updated 9 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 3 years ago
- Print bytes as losslessly as possible.☆18Updated 5 months ago
- File serving using tower web☆19Updated 6 years ago
- ☆15Updated 5 years ago
- Tool to create Tock Application Bundles from ELF files.☆16Updated last month
- A disassembler framework☆18Updated 2 years ago
- Substring searching in rust☆12Updated 8 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Updated 8 years ago
- Easy sandboxing for rust☆10Updated 8 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Updated 3 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 5 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated last month
- A rust crate for creating concurrent pipelines☆9Updated 7 years ago
- Connection telemetry middleware for diesel and tracing☆20Updated 5 months ago
- speedy web micro-framework using sled, io_uring and SIMD☆12Updated 5 years ago
- A Rust library for simple (usually command-line) user interaction | now on https://codeberg.org/valpackett/interactor☆33Updated 2 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆33Updated last month
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- Utilities to help working with the filesytem☆11Updated 4 years ago
- The HexagonE VM☆26Updated 2 years ago
- Fast, vector-based map implementation that preserves insertion order.☆15Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An ordered map and set based on a binary search tree.☆14Updated 10 years ago
- miniserde minus the dependencies☆19Updated 3 years ago
- A service implemented by a closure☆11Updated 8 years ago