OSTRINMade with Ostrin
This is a small evidence gallery, not a promise wall. Every entry points to source in the repository and to the compiler test that protects the behavior.
Verified work
Ostrin already has more than syntax examples: complete programs exercise quantities, tabular data, SVG generation and automatic differentiation.
physics.ostrin carries dimensions through arithmetic, generic quantities and a small loop. The checker rejects incompatible dimensions before execution.
2000000004.9999998 nm
5 m/s
6 kg
400000000
15
The data_project parses CSV text, filters rows, groups cities and computes descriptive statistics through a local Ostrin package.
…
Lima: n=2 media=22.5
Cusco: n=2 media=11
Quito: n=1 media=15.5
The plot package emits line and scatter SVG from arrays in Ostrin. The Viz gallery runs those figures live in WASM and exports self-contained interactive HTML with zoom, panning and data inspection.
<svg xmlns="http://www.w3.org/2000/svg" width="400" height="300" viewBox="0 0 400 300">
…
</svg>
The autodiff package uses dual numbers and function values for derivatives, gradients and a Newton step. The program prints f(2) and f′(2) for f(x) = x³ − 2x − 5, the Rosenbrock gradient at (0.5, 0.5) and the Newton root.
…
-1
10
…
-51
50
2.0945514815423265
What is next
These projects run from the repository or the browser playground where their dependencies fit in the in-memory host. Viz also produces standalone HTML artifacts that can be attached to a report and opened locally.
Open the live catalogue ↗