Oro Computer logooro

Oro Computer / Open source technology

Software.
Closer to you.

Native applications. A language for systems.
Open foundations for what you build next.

Explore Runtime Discover Silk
Built in the open. Built for the device.Meet the technology

Our technology

Two foundations.
Room to build.

From the interface to the systems underneath.
Choose your starting point.

01 / Application runtime

The web.
With native reach.

Build native apps with HTML, CSS, and JavaScript. Add windows, files, and local data through Runtime APIs.

Explore Oro Runtime Get started

Linux · macOS · Windows · Android · iOS

Oro RuntimeJavaScript / native APIs
import { open } from 'oro:sqlite'

const db = open(':memory:')

db.exec('CREATE TABLE notes (body TEXT)')
db.exec('INSERT INTO notes (body) VALUES (?)', {
  params: ['An idea, kept close.'],
})

const { rows } = db.exec('SELECT body FROM notes')
console.log(rows[0].body)
db.close()
Your code. Your device. Your data.

02 / Systems language

Native software.
Proof built in.

Write native tools and libraries. Use the standard library and prove contracts at compile time.

Explore Silk Write your first program

Native compilation · C interoperability · Formal verification

Silkcontracts.slk
#require balance >= 0;
#require amount >= 0 && amount <= balance;
#assure result == balance - amount;
#assure result >= 0;
fn withdraw (balance: int, amount: int) -> int {
  return balance - amount;
}

fn main () -> int {
  let remaining = withdraw(100, 30);
  #assert remaining == 70;
  return 0;
}
Contracts checked at compile time.

Made to be built on

Your next idea
starts here.

Read the source. Explore the docs.
Make something of your own.

Open the documentation Find us on GitHub ↗

Quick links

Type to search across the site. Use the up and down arrow keys to choose a result, Enter to open it, and Escape to close.