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
Sorting:
- A deque implemented as a hybrid linked-list-of-arrays☆9Updated 9 years ago
- Tool to create Tock Application Bundles from ELF files.☆17Updated 2 months ago
- ☆9Updated 9 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 6 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 4 months ago
- Data structures used by the RLS and Rust compiler☆10Updated 6 years ago
- Substring searching in rust☆13Updated 9 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- A disassembler framework☆18Updated 2 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
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated 2 months ago
- An immutable singly-linked list, as seen in basically every functional language☆28Updated 2 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆34Updated 2 months ago
- Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer☆11Updated 6 years ago
- ☆15Updated 5 years ago
- Emulation for legacy devices☆29Updated last month
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Rust XDR interoperability library and codegen☆16Updated 2 years ago
- The HexagonE VM☆26Updated 2 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆14Updated 4 years ago
- ☆23Updated 2 years ago
- Compiler for the Lavish IDL☆17Updated 5 years ago