Jonathan-Schaefer 

Dimensionally-typed visualization core: SI dimension vectors, unit witnesses, unit-indexed geometry, scales, and the closed Scene IR. Zero dependencies.

SI, derived and common non-SI unit witnesses; Dim-driven symbol canonicalisation, prefix selection, and Unicode/ASCII/LaTeX/siunitx rendering.

Themes, palettes, constraint layout, and the axis/legend compiler that turns figures into Scene IR.

The reference backend. Pure F#, zero dependencies, doubles as the golden-image test oracle.

Animation as a pure function of time: a seekable, composable Anim<'a> with a verified algebra, the easing catalogue, and arc-length path morphing. Depends only on Marey.Core.

TikZ/PGF backend. Emits a tikzpicture that inherits the host document's fonts and typesets siunitx units. Pure F#, zero dependencies.

Verso notebook extension for Marey. Figures, films, scenes, colours, ramps, palettes, dimensions, unit witnesses and erased scales display inline instead of as a field table. An animation plays in the cell, and... More information

HTML renderings of Marey values for notebooks: figures and scenes as inline SVG, colours as swatches, ramps resampled through Oklab, palettes, dimensions, unit witnesses and erased scales, and a live figure's... More information

Resolution and invocation of the external programs Marey drives but does not ship. Zero dependencies.

PNG and PDF output through SkiaSharp, with real text shaping via HarfBuzz. The first Marey backend that measures text rather than estimating it.

Mathematical typesetting for Marey figures: TeX source on a scene's text runs becomes vector outlines, by shelling out to latex and dvisvgm. Degrades to plain text when TeX is absent.

Encode a rendered frame sequence to video by shelling out to ffmpeg. Degrades to the numbered frames when ffmpeg is absent.

Interaction for Marey: typed controls (a slider over kelvin hands the view kelvin, and labels itself in them), composed into a live figure by an applicative block, and stepped by a pure function a notebook host... More information

Fields for Marey: scalar and vector fields on dimensioned planes, sampled onto grids, with gradient, divergence, curl and the Jacobian in the units the types work out. A phase space with a different unit on... More information

The browser backend for Marey: a figure compiled in the browser by the same compiler, drawn on a canvas. Consumed by Fable.

GPU rendering for Marey: Skia on OpenGL, with batched marks drawn by the GPU directly. A figure, a film's frames or a million points, offscreen; fluid solvers and LIC on the GPU.

Simulation for Marey: ODE integrators typed by units of measure (Euler, RK4, Dormand-Prince, velocity Verlet, leapfrog), trajectories that seek like any other animation, invariants, events and collisions,... More information