Kasteran

Kasteran

Rune-based Systems Language with linear capability types, self-hosted compiler with Cranelift JIT, WebAssembly, and C backends, formal verification pipeline.

Quick Facts

Attribute	Value
Status
Category	Core Infrastructure
Language	Rust (self-hosted)
Source	03-kasteran/
Dependencies	Libern (crypto FFI)

Compiler Pipeline

flowchart TD
    S[Source Code<br/>Rune-Based Syntax] -->|Lex| L[Lexer]
    L -->|Tokens| P[Parser]
    P -->|AST| TC[Type Checker<br/>Linear Capability Types]
    TC -->|Typed AST| FV[Formal Verifier]
    FV -->|Verified IR| OPT[Optimizer]
    OPT -->|Optimized IR| CG[Code Generator]
    CG -->|JIT| CJ[Cranelift JIT]
    CG -->|WASM| WA[WebAssembly]
    CG -->|Native| CC[C Backend]

Loading

Relationship Graph

flowchart LR
    KAS[Kasteran] -->|FFI| LIB[Libern]
    KAS -->|Compiled| KAZ[Kazcade]
    KAS -->|Compiled| SOV[Sovereign-OS]
    KAS -->|Audit| AIOS[aioss-format]

Loading

Compilation Pipeline

stateDiagram-v2
    [*] --> Source
    Source --> Parsed: lexical analysis
    Parsed --> Checked: type checking
    Checked --> IR: codegen
    IR --> Optimized: optimization passes
    Optimized --> Linked: linking
    Linked --> Executable: emit

Loading

Key Features

• Rune-Based Syntax: Symbolic, expressive language design
• Linear Capability Types: Memory safety without GC
• Self-Hosted Compiler: Compiles itself since milestone M3
• Three Backends: Cranelift JIT, WebAssembly, C transpilation
• Formal Verification: Built-in theorem proving pipeline
• Crypto Primitives: Native FFI to Libern library

Related Projects

Project	Relationship	Protocol
Libern	Cryptographic dependency — provides Ed25519, SHA3-256	FFI
Kazcade	Storage backend — CRDT-synced vector state	P2P/CRDT
Sovereign-OS	Target platform — compiled binary deployment	Native

---

📖 Full docs: Docusaurus Kasteran · Home · Projects · Architecture · Ecosystem · Roadmap · Glossary · Protocol-Spec