Results for forge_ml

No description provided.

A minimal deterministic compute graph runtime for tensor operations in Rust.

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.

FiLeLuYa — Secure, encrypted reactive filesystem with hybrid post-quantum cryptography

Tauri-based GUI for FileLuYa encrypted filesystem

Automated Cryptography Discovery & Inventory for PQC migration

Raw FFI bindings and dynamic loader for NVIDIA NVRTC (runtime CUDA-C++ to PTX compiler).

L2 services for ArkheForge Runtime: projection observer, manifest loader, policy, rate limiter, audit receipts, crypto-erasure coordinator, process-protection shim. Builds on L0 arkhe-kernel + L1 arkhe-forge-core.

Compiled CUTLASS template instantiations for the baracuda ecosystem. Hosts curated .cu kernel sources, builds them via baracuda-forge, exposes extern "C" entry points for the safe baracuda-cutlass crate.

Quantum-ready cryptographic SDK with hybrid classical and post-quantum algorithms

Quantum-resistant token system for KeyLeLuYa — balances as propagator cells, transfers as Forge gears, sigchain as ledger

Hybrid post-quantum resistant Wi-Fi security protocol prototype (ML-KEM-768 + X25519 + HKDF-SHA384)

Hybrid post-quantum cryptography for KeyLeLuYa