Stars
a tool for reinterpreting ELF executables and shared libraries
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A crate to help you go wide. By which I mean use SIMD stuff.
Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine
A State Machine Language DSL procedual macro for Rust
A scalable overlay networking tool with a focus on performance, simplicity and security
Instantiate, inspect, and invoke Wasm components from within a component.
A new markup-based typesetting system that is powerful and easy to learn.
A Cargo subcommand for creating WebAssembly components based on the component model proposal.
CLI and Rust libraries for low-level manipulation of WebAssembly modules
Traces the shared-object dependencies of a binary, and graphs them.
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
Backup and restore Ed25519 SSH keys with seed words 🫠
Command line linker for creating WebAssembly components
General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for…
A garbage collection library for Rust with zero unsafe code