LATTIX

Normalized proofs, derivations, evidence, and provenance for machine reasoning.

Ground neural and language-model outputs into typed symbolic representations.

Composable runtime and backend routing for symbolic and neuro-symbolic reasoning.

Typed intermediate representation for symbolic and neuro-symbolic reasoning.

Browser and WebAssembly client tooling for fully homomorphic encryption.

Encrypted tensor and machine-learning abstractions for Rust.

Runtime and distributed execution infrastructure for FHE workloads.

Intermediate representation and compilation pipeline for FHE workloads.

Ergonomic Rust abstractions and planning primitives for fully homomorphic encryption.

Unified key-provider abstraction for software, HSM, PKCS#11, and KMS backends.