Libertas
Menu

Libertas

The Application Platform Beyond the Web

Applications for humans, AI agents, and other applications.
On your phone, tablet, or in your browser.

AI writes Apps. You can read every line.

Try the U.S. tax return App Build an App with AI →

The tax App's W-2 page drawn for a tablet, with the statement list beside the edit form, and for a phone, with the list alone.The tax App's W-2 page drawn for a tablet, with the statement list beside the edit form, and for a phone, with the list alone.
Conceptual drawing: one declaration, drawn for tablet and phone.
  • 16 bytes all the data in the step-through demo, from Start to Saved
  • ~50 KB of flash for the SDK on a microcontroller, under 1 KB RAM
  • $1.43T software market Libertas is built for, Gartner 2026 forecast

A New Programming Paradigm. Three Differences.

Data first. Not GUI first, not database first.
Declare the data, and every interaction with it.

Human first. AI-native. Aimed at zero redundant code.
Declare each piece of information once, and reuse it across frontend and backend: protocols, screens, checks and charts; AI form filling, navigation and assistance; validation and storage.

No custom frontend code.
Build complete, intelligent, interactive applications in one language, such as Rust.

See Libertas in Action

The step-through: Rust App code on the left, Avro bytes in the middle, and the page a client draws on the right.The step-through: Rust App code on the left, Avro bytes in the middle, and the page a client draws on the right.

From Declaration to Page

Everything is in source code and its comments: a GUI for people, tool calls for AI, and the same library for other programs.

Try it → · Explanation

One W-2 declaration beside the screen a client draws from it, at a width the page sweeps from phone to web.One W-2 declaration beside the screen a client draws from it, at a width the page sweeps from phone to web.

Data is everything.

Presentation takes care of itself. Adjust it with AI, on live data.

Try it → · Explanation

Declarations beside the phone questions a client draws from them, from a plain Boolean to a Union whose answers bring their own questions.Declarations beside the phone questions a client draws from them, from a plain Boolean to a Union whose answers bring their own questions.

Simple Data. Rich Semantics. Adaptive Interaction.

A few declared words turn one Boolean into the right question.

Try it → · Explanation

AI-Native by Design

Build for people.
No AI code. No AI design. Not even a thought about AI.
AI comes free with it.

AI uses your App the way you do.

Same requests, same checks, same access, if you let it.

How it works →

AI photo & PDF import. Never type the same thing twice.

Snap a form or drop in a PDF. AI fills in the fields; you check and submit.

How it works →

One-word navigation.

Say a word, and AI opens the right screen out of hundreds.

How it works →

See What You Can Build

Federal Tax Return App

Conceptual drawing of a W-2 income screen: a list of W-2 statements beside an edit form, as a client draws it from the declaration.Conceptual drawing of a W-2 income screen: a list of W-2 statements beside an edit form, as a client draws it from the declaration.

2026 federal returns on phone and web, computed from rules declared in Rust. A prototype; it does not file.

Explore the tax App →

From Your Light Bulb to the Cloud

Apps run everywhere: from inside your light bulb all the way to the cloud.

In the device

Runs inside your light bulb.

The same Rust SDK runs on microcontrollers, with tiny Matter and RTOS integrations. SDK overhead: about 50 KB flash, under 1 KB RAM.

Device SDK coming soon

Home Hub

Libertas with Smart Home

The Libertas Hub comes with a Matter protocol controller and generic ONVIF camera support (over 20,000 registered models).

Your Hub's devices →

Enterprise

Cloud & Servers

The same Hub runs on servers. Tax returns, records and workflows for people, AI and other Apps.

How the Hub works →

Build and Learn with an AI Assistant

CodeBot

Have an AI build your App. Entirely.

A coding agent writes, validates and hands off the whole App.

CodeBot workflow →

Your Next App

Start with the principles. The tutorial runs one App from source to task; the reference has every contract.

Apps are written in Rust today; TypeScript support is under development and not release ready.

Public repository, license and attribution · Privacy Policy · Support.

Search Libertas