Skip to main content
Open Source

Orb

A formal language for describing how software systems behave. Write the model. The compiler proves it correct. AI generates and consumes it natively.

npm install -g @almadar/cli

One File, Full Application

A complete task manager in a single .orb file. The compiler generates frontend, backend, database, and API.

Code to app compilation
task-manager.orb
{
"entities": [{
"name": "Task",
"fields": [
{ "name": "title", "type": "string" },
{ "name": "status", "type": "string", "default": "pending" }
]
}],
"traits": [{
"name": "TaskManager",
"entity": "Task",
"states": {
"viewing": {
"INIT": { "effects": [["fetch", "Task"]] },
"ADD": { "target": "adding" }
},
"adding": {
"render-ui": { "type": "form-section", "entity": "Task" },
"SAVE": {
"guards": [["validate/required", "@payload.title"]],
"effects": [["persist", "Task", "@payload"]],
"target": "viewing"
}
}
}
}]
}

Why .orb?

Write Once, Compile Anywhere

One .orb model compiles to web, mobile, desktop, or any future platform. The behavior is platform-independent.

Provably Correct

The compiler validates every state machine transition, every guard, every effect. If it compiles, it works.

AI Generates It Natively

Structured, formal, and compact. AI models generate valid .orb programs more reliably than arbitrary code.

Standard Library

103 production-quality behaviors across 18 domains. Commerce, healthcare, education, finance, scheduling, workflow, and more.

18 standard library domains
CommerceHealthcareEducationFinanceSchedulingWorkflowSocialMediaGamingIoTCRMAnalyticsCommunicationContentLocationHRLegalReal Estate

Open Source Community

Orb and its compiler are open source. Contribute, report issues, or build something new.