Libraries for formally-verifiable distributed contracts
-
Updated
Jul 10, 2025 - Rust
#
capabilities
Here are 9 public repositories matching this topic...
File Capability Extractor
rust reverse-engineering control-flow-graph rust-lang malware-analysis capabilities rust-library mitre aslr seh mbc capa file-capabilities
-
Updated
Jul 12, 2025 - Rust
Capability-based security protocol for smart contracts
-
Updated
Jan 23, 2023 - Rust
A cryptographically verifiable access control and directory system for Linux servers
rust security ldap database authentication credentials pam directory delegation blockchain grpc policy authorization x509 pki ed25519 kerberos capabilities access-control password-server
-
Updated
Jul 6, 2017 - Rust
Single-address-space capability-based nanokernel
-
Updated
Nov 3, 2025 - Rust
A pure-Rust library to work with Linux capabilities
-
Updated
Oct 17, 2025 - Rust
🗝️🐝✨ Rust workspace for Keyhive and related crates
-
Updated
Nov 9, 2025 - Rust
Wassette: A security-oriented runtime that runs WebAssembly Components via MCP
-
Updated
Nov 10, 2025 - Rust
Improve this page
Add a description, image, and links to the capabilities topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the capabilities topic, visit your repo's landing page and select "manage topics."