Stars
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
A BitTorrent V1 engine library for Rust (and currently Linux)
Unsafe marker trait for types that deref to a stable address
Portable interface to epoll, kqueue, event ports, and wepoll
A stack for rust trait objects that minimizes allocations
🏡 Open source home automation that puts local control and privacy first.
Rust library that provides helpers for testing resilience of IO operations
Rust crate to use process file descriptors (pidfd) for Linux
home for proposals in and around compile-time function evaluation
Rust library for parsing ACPI tables and interpreting AML
l2 is a fast, Pytorch-style Tensor+Autograd library written in Rust
Cranelift based backend for rustc
The enum Either with variants Left and Right is a general purpose sum type with two cases.