mindApache 2.0
The official Rust implementation of the compiler. Includes the CLI, type checker, MIR/MLIR lowerings, and CPU executor.
- Built-in CLI & Type Checker
- MIR/MLIR Optimization Pipeline
- Native CPU Execution
View on GitHubmind-specApache 2.0
The authoritative language specification, design documents, and RFCs. Changes to the language start here.
- Formal Language Specification
- RFC Design Documents
- Community Governance
View on GitHubmind-memApache 2.0
Persistent, auditable memory for AI agents. Powers the Cognitive Kernel’s Memory Plane with versioned storage, contradiction detection, and cryptographic audit chains.
- Hybrid BM25 + Vector Retrieval
- MIND Scoring Kernels
- Cryptographic Audit Chain
- Drift Detection & Causal Graph
View on GitHubmind-runtimeCommercial
Production runtime with GPU acceleration, distributed training, compliance tooling, streaming execution, and safety-critical mode.
- CUDA GPU & Distributed Training
- Compliance & Audit Toolkit
- BCI / Safety-Critical Runtime
- Enterprise Support & SLAs
Contact SalesThese components power the MIND Cognitive Kernel — a deterministic AI runtime with Control, Memory, and Verification planes.
Read the architecture docs