Smart container image cache synchronizer — pulls from external registries only when needed
A no_std reimplementation of LLVM's libc++ in Rust with ABI-compatible C++ standard library types and a built-in memory sanitizer
A smart container for objects in recursive data structures
High level device for pros-rs
Cross-compilation, zero friction - Rust cross-compilation tool with automatic toolchain management
AI/Human task management system with file-based storage
Nibiru standard library for CosmWasm smart contracts
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.
Rust bindings for the Listen Notes Podcast API
Everything you need to use TACEO:OPRF
Client for TACEO:OPRF
Core implementation of the distributed OPRF protocol for TACEO:OPRF
Thread-safe semanticaly-defined IoC/DI Container
Foreman Smart Proxy plug-in for Pulp 3 container registry support
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.