A procmacro attribute to run your test in an isolated environment
A procmacro attribute to run your test in an isolated environment
An HTTP API documentation generator for Rust that doesn't care about which HTTP framework you use.
Testing a strange behavior of sealed traits
L1 primitives for ArkheForge Runtime: Core 5 (User / Actor / Space / Entry / Activity) + ShellBrand invariant-lifetime isolation + deterministic entity-id derivation. Pure compute, no I/O.
Kyriotēs-CSK2 makes encrypted data require permission, not just a key. Even if someone has the decryption key, Kyriotēs-CSK2 can still refuse access unless the current authority proof says they are allowed to open that exact object.
Journal replication engine for graph databases. Logical WAL shipping via .hadbj segments to S3.
Rust wrapper for SGX trusted service types.
Cargo subcommand for requirements traceability — declare, annotate, and detect drift
Attribute macros for requirements traceability — #[satisfies(...)] and #[verifies(...)]
Shared types and build-time drift detection for the rubric traceability toolchain
Libsodium sealed_box construction for Rust/WebAssembly
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.