Results for ffi_11

One-to-one FFI types for C++/Rust interop.

Idiomatic Rust wrappers for the NVIDIA CUDA stack (Driver API, Runtime API, NVRTC, cuBLAS, cuDNN, NCCL, NVML, ...). Umbrella crate.

Security static analyzer for Rust. Analyzes MIR to detect vulnerabilities. (Requires nightly)

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

HoloPack — Universal archive tool with self-healing .hpak format. A project by ABAODISK LLC.

High-performance DDS (Data Distribution Service) implementation in pure Rust

HDDS Administration CLI

High-performance DDS (Data Distribution Service) implementation in pure Rust

High-performance DDS (Data Distribution Service) implementation in pure Rust

High-performance DDS (Data Distribution Service) implementation in pure Rust

High-performance DDS (Data Distribution Service) implementation in pure Rust

Dump live DDS discovery state (participants, readers, writers)