GaloisInc / rustwallLinks
Rust firewall for seL4
☆10Updated 7 years ago
Alternatives and similar repositories for rustwall
Users that are interested in rustwall are comparing it to the libraries listed below
Sorting:
- Inert lets you use non-Sync values in Sync context☆16Updated 6 years ago
- dom-like layout for terminal applications☆13Updated 4 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆49Updated 3 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Compiler for the Lavish IDL☆17Updated 6 years ago
- A deque implemented as a hybrid linked-list-of-arrays☆9Updated 10 years ago
- A disassembler framework☆18Updated 2 years ago
- Deploy self-contained binaries from GCP Container Registry (gcr.io) as systemd service units☆32Updated 6 months ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 5 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆13Updated 6 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated 3 months ago
- Rust XDR interoperability library and codegen☆16Updated 3 years ago
- miniserde minus the dependencies☆19Updated 3 years ago
- An ordered map and set based on a trie.☆28Updated 5 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14Updated 4 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Updated 3 years ago
- A syn targetting PEG parser generator☆20Updated 2 years ago
- ☆9Updated 9 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- File serving using tower web☆19Updated 6 years ago
- trigger io::Error's in test, and annotate their source☆30Updated last year
- Showcasing what can be done with Bastion☆26Updated 3 years ago
- A Rust implementation of Plumtree algorithm☆29Updated 4 months ago
- A library for comparing data structures in Rust, oriented toward testing☆25Updated 3 weeks ago
- Initialization system in Rust☆30Updated 3 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- Print bytes as losslessly as possible.☆18Updated 3 weeks ago
- Experimenting with ergonomic dyn types☆29Updated 3 years ago
- A DSL for Software-Defined Satellite Applications☆24Updated 5 years ago
- Fast, vector-based map implementation that preserves insertion order.☆15Updated 5 years ago