ROBOTIC OPERATING SYSTEM

BOTNIX

THE DECLARATIVE ROBOT OS

Type-safe robot configurations with the Nox DSL. Content-addressable storage, atomic deployments, and instant rollback.

$cargo install botnix
01

OS CAPABILITIES

DECLARATIVE CONFIG

Define your entire robot in a single Nox file.

ATOMIC UPDATES

Updates succeed completely or not at all.

INSTANT ROLLBACK

Every generation is bootable. Roll back in seconds.

IMMUTABLE ROOTS

Read-only system partitions for security.

FLEET MANAGEMENT

Deploy to thousands of robots simultaneously.

GIT-NATIVE

Version control your robot configs.

02

CODE EXAMPLES

robot.nox
// robot.nox — Declarative robot configuration
robot! {
    name: "warehouse_rover_042",

    platform: {
        type: "differential_drive",
        wheel_diameter: 0.1,
        track_width: 0.3
    },

    sensors: {
        lidar: { type: "velodyne_vlp16", port: "/dev/ttyUSB0" },
        camera: { type: "realsense_d435", fps: 30 },
        imu: { type: "mpu9250", i2c_bus: 1 }
    },

    ai: {
        runtime: "onnx",
        models: {
            detection: { path: "models/yolov8n.onnx", backend: "tensorrt" },
            slam: { path: "models/orb_slam3.onnx" }
        },
        optimization: { quantization: "int8", gpu_layers: 0 }
    },

    security: { encryption: "aes-256-gcm", fips_mode: true }
}

REPRODUCIBLE ROBOTICS

Stop debugging config drift. Build robots that work the same every time, with type-safe Nox configurations.