A programming language in the open

Scientific-first. General-purpose. Native by design.

Ostrin checks units, state and intent before a program runs, and compiles the same code to native C and WebAssembly. Every result on this page is computed by the real compiler.

Run the Lab → Install ↗ GitHub ↗

Release status is loading…

.ostrinnative C + WASIMIT licensed

examples/lab_hero.ostrinchecked

✓ Recorded output:

Scientific Lab

Change a parameter. Ostrin recomputes it.

Twelve programs from the repository, running on the compiler built for WebAssembly. Each shows its source, a Run button, where the result comes from and what is not supported yet. Copy a link to share the selected demo and its parameters.

The Lab needs JavaScript to run the compiler. Recorded outputs are also in the Cookbook.

Visualization

Figures drawn by the language, not by a plugin.

std.viz is written in Ostrin: axes, legends, contours, 3D projection and shading run in the same interpreter, native binary or browser compiler as your analysis, and produce the same SVG bytes in all three.

Shaded 3D surface of peaks(x, y) rendered by std.viz — examples/viz_surface.ostrin

Heatmap with contour lines rendered by std.viz — examples/viz_heatmap.ostrin

Lorenz attractor trajectory rendered by std.viz — examples/viz_lorenz.ostrin

Open the Viz gallery →Rotate a surface in the Lab (3D tab) →

Scientific artifacts

Explore, inspect and export the result.

The browser is part of the workflow: open a shareable figure, scrub an animation, inspect a table or export a reproducible artifact. Each tile opens the real Ostrin program behind it.

Animated Kepler orbits rendered by std.viz

animation · video

See motion over time

Play, pause, seek and export an animated SVG to WebM or GIF when the browser supports it.

Open Kepler orbits →

Formatted scientific data table rendered by std.viz

tables · linked data

Keep values inspectable

Filter, sort and select rows while linked marks in a figure stay synchronized.

Open the data table →

Scientific figure with reproducibility provenance metadata

reproducibility · export

Carry the evidence with the figure

Source hash, data hash, seed and compiler identity travel with SVG, PNG, HTML and video exports.

Inspect provenance →

Playground

Write your own program.

Edit a program, check it and run it in your browser with the same compiler-backed WebAssembly playground used by the full tool.

Example

main.ostrin

output

Loading the compiler…

Real Ostrin compiler · runs locally in your browser · open the full playground →

design specifications

source programs in the repository

+ integration + differential tests

.ostrinsource file extension

What exists today

Every claim links to its evidence.

These capabilities are in the current compiler. Each card points to the programs and tests that exercise them.

arrays + quantities

Numbers that keep their meaning

Array<T> with broadcasting, masks, @, statistics and linear algebra, next to Quantity<D> values whose dimensions are checked before execution.

arrays.ostrin ↗unit_conversion.ostrin ↗

scientific packages · experimental

Packages written in Ostrin

A minimal DataFrame (tables), SVG charts (plot) and forward-mode derivatives (autodiff), consumed as local path dependencies with lockfiles.

tables ↗plot ↗autodiff ↗

concurrency

One API, two schedulers

spawn, join, spawn_scope, channels, select and cooperative cancellation. Deterministic by default; --native-threads uses OS threads for compiled programs.

concurrency_select.ostrin ↗native_threads.ostrin ↗

native C + WASI

Compiled, not only interpreted

--compile emits C and builds a native executable with --leak-check; --target wasm32-wasi builds WASI modules. A differential test compares every example with the interpreter.

differential.rs ↗WASI matrix ↗Performance evidence →

editor

VS Code, LSP and DAP

A persistent language server (--lsp) for diagnostics, hover, completion, references and rename, and a debug adapter (--dap) for breakpoints and stepping. The extension ships as a local VSIX.

vscode-ostrin ↗Editor guide →

not yet

Planned, not shipped

GPU execution, reverse-mode autodiff, networking, a public package registry and package-manager installers are not part of the current release. They stay on the roadmap until they exist.

Roadmap →

Source → HIR → IR → C

See what the compiler does with one function.

The real output of each stage for examples/lab_pipeline.ostrin, recorded when the site was built. The program prints .

The premise

A type system should remember what a value means.

Ostrin is for software where a wrong value can be more dangerous than a wrong number. The language makes the domain visible before the program runs.

Dimensions are types

Lengths, times and derived quantities are checked before execution. A meter is not just a number with a comment beside it.

5 m + 2 s → error

Mutation is visible

Values are immutable by default. When state changes, the binding says so. Sharing and concurrency start from an explicit baseline.

mut counter = 0

Errors have a shape

Option, Result and exhaustive match keep failure states in the model instead of hiding them in control flow.

try parse(input)

Where to go next

Learn it, look it up, build with it.

Learn

Read the decisions.
Run the examples.

Open the repository ↗Contribute →

Scientific-first. General-purpose. Native by design.

Change a parameter. Ostrin recomputes it.

Figures drawn by the language, not by a plugin.