skip to content

kairo@lang:~/contributors$█kairo@lang:~/docs$█

home docs blog ksf contributors

TOP github↗ Install

$ ls ~/

01 home 02 docs 03 blog 04 ksf 05 contributors 06 github ↗

exit 0█

kbld

docs

search ~/docs

>

man search

"exact match"whole words, in order

const -deprecatedexclude a term

section:languagelimit to a section

-section:libraryexclude a section

in:titlematch titles only

no:functionhide a category

is:deprecatedonly that category

↑↓ navigate ↵ open esc close

cd ~ back to home

$ tree ~/docs

Docs Home Welcome to Kairo Philosophy Compiler Compliance Installation Implementation Status

Containers String Numbers Formatting Ranges and ordering Memory and allocation Errors and panics Coroutines Intrinsics Macros Prelude

std::io std::env std::mem std::ctypes std::rt::Float8

Example: HTTP Server

# basics

Primitives Collections Variables & Bindings Nullables Operators

# statements & expressions

Control Flow Pattern Matching Functions Default, Named, and Variadic Parameters Parameter Passing Modes Function Overloading Generators Function Declarations Closures

# types

Type System Type Aliases Structures Enums Plain Enums ADT Enums Unions Classes Class Lifecycle Inheritance and Virtual Dispatch Forward Declarations and Out-of-Line Definitions

# abstraction

Interfaces Interface Requirements Extends Generics Requires Clauses Where Clauses Operator Overloading

# conversions

Casting Implicit Conversions Kairo Primitive Conversion Lattice

# memory & concurrency

Pointers & Raw Pointers Ownership Tether Proof Model Bounds and Provenance Ownership and Promotion Threading Tether Internals Allocators Unsafe Concurrency

# errors

Panic Diagnostics

# compile time

Compile-Time Eval Macros Built-in Macros Attributes

# program structure

Modules Imports

# interop

C & C++ Interoperability kairo, kcc & Cross-compilation Calling C and C++ from Kairo Using Kairo in C++Allocators & Ownership Exceptions & Panics ABI Contract & Verification

kairo kals kbld kcc kfmt kld kpkg

95 files

~
docs
toolchain
kbld

kbld

EOF

report an issue ↗ (opens in a new tab) edit this page ↗ (opens in a new tab)

read

[░░░░░░░░░░░░░░░░] 0%

^ top of the page cd .. (up to docs)

██╗ ██╗ █████╗ ██╗██████╗ ██████╗ ██║ ██╔╝██╔══██╗██║██╔══██╗██╔═══██╗ █████╔╝ ███████║██║██████╔╝██║ ██║ ██╔═██╗ ██╔══██║██║██╔══██╗██║ ██║ ██║ ██╗██║ ██║██║██║ ██║╚██████╔╝ ╚═╝ ╚═╝╚═╝ ╚═╝╚═╝╚═╝ ╚═╝ ╚═════╝

kairo --version

kairo 0.1.0-alpha (stage1, kairo)

The Language Beyond C++
Compiled systems language. Two-way C++ interop.

~/language

Documentation
Installation
Status
LLM Context
LLM Full Docs
Blog
Changelog

~/help

Get help
Discord
Report an issue
Contributing

~/community

GitHub
Contributors
KSF

© 2026 Dhruvan Kartik. Kairo™ is a trademark of Dhruvan Kartik. Commercial distribution and support by KSF LLC.

Legal License Security GitHub Compiler Specification (CC BY 4.0)

v0.1.0-alpha exit 0