Milo

Memory Safe. Formally Verifiable. Native.

A memory-safe systems language with built-in contracts, safety profiles, and simple syntax. Compiles to native code via LLVM.

from "std/http" import { Request, Response, serve }

fn main(): i32 {
    serve(8080, (req: &Request) => {
        return Response.Html("<h1>hello from milo</h1>")
    })!
    return 0
}

Memory safe. Formally verifiable. Native. Vibe-codeable.

Docs & Playground