Highlights
- Pro
Lists (1)
Stars
A cross-platform desktop All-in-One assistant tool for Claude Code, Codex, OpenCode, openclaw & Gemini CLI.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Cross-platform Rust rewrite of the GNU coreutils
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
A model checker for implementing distributed systems.
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your Rust code is correct.
Rust virtual machine and JIT compiler for eBPF programs
Shuttle is a library for testing concurrent Rust code
Compiler for the B Programming Language implemented in Crust
A framework for writing FPGA firmware using the Rust Programming Language
Research prototype tool for modular formal verification of C, Rust and Java programs
NetBricks: A new network function framework based on Rust.
A menagerie of cute implementations of modern typechecking algorithms
An asynchronous distributed actor framework in Rust with robust observability
Rust Poseidon implementation (contact: @porcuquine)
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Microkit - A simple operating system framework for the seL4 microkernel
MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency
Refinement type checking and inference tool for Rust
The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and ge…
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.