https://github.com/cs01/milo

Memory-safe systems language that compiles to LLVM IR. No GC, no lifetimes.
https://github.com/cs01/milo

Last synced: 11 days ago
JSON representation

Memory-safe systems language that compiles to LLVM IR. No GC, no lifetimes.

• Host: GitHub
• URL: https://github.com/cs01/milo
• Owner: cs01
• Created: 2026-05-14T04:49:58.000Z (about 2 months ago)
• Default Branch: main
• Last Pushed: 2026-06-09T22:18:18.000Z (25 days ago)
• Last Synced: 2026-06-10T00:10:17.773Z (24 days ago)
• Language: TypeScript
• Homepage: https://cs01.github.io/milo/
• Size: 2.32 MB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Roadmap: docs/roadmap.md

Awesome Lists containing this project

README

          
# 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.

```milo

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

fn main(): i32 {

    serve(8080, (req: &Request) => {

        return Response.Html("
hello from milo
")

    })!

    return 0

}

```


**Memory safe. Formally verifiable. Native. [Vibe-codeable](docs/design.md#ai-assisted-development-vibe-coding).**

**[Docs & Playground](https://cs01.github.io/milo/)**