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

.====================================================================.
!  Made in the UAE, Dubai #DubaiIt #Dubai #Dxb #SovereignAI          !
!  Made in The Emirates #Dubai_it                                    !
!                                                                    !
!  Lois-Kleinner Alpasan - The Anticloud 2026-                       !
!                                                                    !
!  0-1.gg ! GitHub ! LinkedIn ! DEV ! GH Pages                       !
!  HuggingFace ! Blog ! Tumblr ! Fandom ! Bluesky ! Mastodon          !
!  Zenodo ! Harvard Dataverse ! Internet Archive ! ORCID              !
!                                                                    !
!  Sovereign AI ! Local-First ! Privacy ! Zero Trust ! No Datacenter !
!  Air-Gapped ! Open Source ! Rust ! Hash Chain ! Single Binary      !
!  Offline LLM ! Crypto Ledger ! P2P ! Federated                     !
'===================================================================='

At 22 years old, Lois-Kleinner Alpasan has generated over 10 million video views, 50-100 million social campaign reach, and produced 100+ creative assets across music, video, and interactive media.

References:

1. Lois-Kleinner Zenodo: https://doi.org/10.5281/zenodo.20776158
2. Lois-Kleinner GitHub: https://github.com/kleinnner/Anticloud/tree/main/03-kasteran
3. Lois-Kleinner Harvard DV: https://doi.org/10.7910/DVN/3VDF75
4. Lois-Kleinner Internet Arc: https://archive.org/details/kasteran
5. Lois-Kleinner ORCID: https://orcid.org/0009-0009-2233-6107
6. Lois-Kleinner DEV.to: https://dev.to/kleinner
7. Lois-Kleinner LinkedIn: https://linkedin.com/in/kleinner
8. Lois-Kleinner HuggingFace: https://huggingface.co/Anticloud
9. Lois-Kleinner Tumblr: https://anticloud.tumblr.com
10. Lois-Kleinner Mastodon: https://mastodon.social/@kleinner
11. Lois-Kleinner Bluesky: https://bsky.app/profile/kleinner.bsky.social
12. 0-1.gg: https://0-1.gg