Operating system written in Erlang and Rust

A scripting language for cowboy coders

KAIROS-ARK is a high-performance, Rust-based Agent Runtime Kernel built for industrial-grade reliability. It delivers sub-100µs dispatch latency, event-sourced deterministic replay, and kernel-enforced capability sandboxing, bridging Python prototypes and production AI systems.

Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale containment.

Electron runtime layer providing protocol-based separation, component assembly, and capability-based process control.

JavaScript on genode using the Moddable XS engine

my tinkering notebook (blog)

The Kernel of CharlotteOS, An Experimental Modern Operating System

🚀 Streamline agentic AI workflows with KAIROS-ARK, a robust OS focused on integrity, reproducibility, and superior governance for critical applications.

A sample fastapi web app to integrate with a Tahoe-LAFS grid

Toy governance CLI demo: deny-by-default “danger actions” gated by signed, expiring capability leases (global revoke-all + nonce revoke) plus guarded memory quarantine. Simulation-only: no real network/shell/files. Includes tripwire + tests to prevent misuse.

NEX — Deterministic, capability-safe, effect-typed systems language for secure autonomous execution.

A simple example of core Tahoe-LAFS features using the REST interface.