an unofficial scientific-writing IDE for Typst

You know the maths.
Let it write the syntax.

Hilbert turns every equation, matrix, plot and diagram into something you build — click a tool, and it writes clean, editable Typst you own. A real editor on the left, a live PDF on the right, and the fiddly notation one click away instead of memorised.

Get the latest release → Source on GitHub

Offline & local · runs Python / Julia / Wolfram · Tauri build installs in ~7 MB

main.typ — Hilbert

mat Matrix ∫ Equation ∿ Plot λ Run code

// Insert → Matrix Studio $ mat( a, b; c, d, ) $

live PDF

[abcd]

// Insert → Math → Equation $ integral_0^oo e^(-x^2) dif x = sqrt(pi)/2 $

live PDF

∫0∞ e-x2 dx = √π2

// Insert → Plots → Plot Studio #plot(y => sin(x), domain: (0, 2pi))

live PDF

// Run code → equation mode julia> diff(sin(x^2), x) # ↳ typeset result

live PDF

2x cos x2

▶ computed & inserted

The Hilbert editor: source on the left, live PDF preview on the right — **The whole thing.** A Monaco editor on the left, a live PDF on the right, and every visual builder one click away in the toolbar.

why Hilbert

Most Typst editors hand you a text box. Hilbert hands you the tools.

There are good places to write Typst — the official web app, VS Code with an extension, a dozen preview-on-the-side editors. Nearly all of them assume you already know the syntax and give you a blank page. Hilbert assumes you know the physics, and takes care of the notation.

A typical Typst editor

text-first

– A blank editor and a preview; you type every command from memory.
– Matrices, tensors and diagrams mean hunting through package docs.
– Want a number from a calculation? Leave, compute elsewhere, paste it back.
– Often browser-bound, or a heavyweight Electron shell.
– General-purpose — nothing that knows what a Christoffel symbol is.

Hilbert

visual-first, scientific by default

✓ Point-and-click builders for equations, matrices, tables, figures and diagrams — each emits clean Typst you can keep editing.
✓ Plot Studio, cetz Canvas, Feynman & commutative diagrams, flowchart-to-code — drawn on a live preview, not blind coordinates.
✓ Run Python, Julia or Wolfram right inside the document and drop the result back as a typeset equation or figure.
✓ A native desktop app that works offline; the Tauri build idles near 160 MB of RAM.
✓ A physics & cosmology menu, theorem boxes, DOI/arXiv citations, even Schwarzschild curvature via xAct.

◆ only in Hilbert

Draw a program. Watch it run — inside the PDF.

Hilbert's Flowchart → Code is the one thing no other Typst editor has. You sketch a structured flowchart — process boxes, decision diamonds, loops — and it reconstructs real Typst scripting: let, while, if / else. Typst itself then executes it in the live preview, so the diagram doesn't just illustrate an algorithm — it computes and prints the answer.

01 · draw

A structured flowchart

→

02 · it writes Typst

Structured scripting, not a picture

// generated by Flowchart → Code
#{
  let n = 10
  let s = 0
  let i = 1
  while i <= n {
    s = s + i
    i = i + 1
  }
  [#fc-result(s)]
}

→

03 · it runs

Typst executes it in the preview

Result 55

Hilbert's Flowchart to Code builder: a drawn flowchart on the left, generated Typst on the right — **The real builder.** Draw the flowchart on the canvas; Hilbert generates the Typst scripting live, ready to run in the preview.

Ships as ready-made algorithms: Factorial n! Sum 1…n Is n prime? GCD (Euclid) Fibonacci Collatz steps

the visual builders

Everything annoying to type, drawn instead.

Each tool opens a real interface, shows a live preview as you work, and writes standard Typst (cetz, fletcher, physica) — so you're never locked in.

∿

Plot Studio

One tool for every plot: 2D functions (explicit, implicit, parametric), line / scatter / bar data, 3D surfaces, and a matplotlib runner.

◇

cetz Canvas

Click 13 shape primitives onto a live canvas, then set each one's position, size, rotation and colour. No guessing coordinates.

⇄

Commutative diagrams

Drawn in a bundled, offline copy of quiver and handed back to you as editable fletcher code.

Feynman diagrams

Fermion, photon, gluon, scalar and ghost lines, loops, shaded blobs and vertices — drawn visually, emitted as cetz.

mat

Matrix Studio

A visual grid with fills, borders and brackets, plus a code-array mode — for matrices and tensors without the semicolons.

⌥

Flowchart → code → run

Draw a structured flowchart; Hilbert writes runnable Typst scripting that executes in the preview. See how it works ↑

∮

Physics & cosmology menu

Compile-checked ready-made equations: Dirac, Klein–Gordon, the QED Lagrangian, Einstein's field equations, the Friedmann equations, and more.

Citations & references

Look a paper up by DOI or arXiv id, save it to refs.bib, and cite with @key. A manager flags unused or undefined labels.

◧

A real workspace

Open any folder like VS Code: multi-file docs with #included chapters, a drag-and-drop file tree, full-text search and Git.

see it for real

The builders, in the actual app.

Every one of these is a real panel in Hilbert — draw or dial it in, and clean Typst comes out the other side.

particle physics

Feynman diagram builder

Fermion, photon, gluon, scalar and ghost propagators, loops, shaded blobs and vertices — drawn visually, emitted as cetz.

plotting

Plot Studio

2D functions, data (line / scatter / bar) and 3D surfaces in one tool, with a matplotlib runner — emitting cetz / cetz-plot.

linear algebra

Matrix Studio

A visual grid with fills, borders and brackets, plus a code-array mode — matrices and tensors without counting semicolons.

3d surfaces

3D Plot Studio

Rotate an interactive surface to the exact angle you want, then insert precisely that view into the document.

diagrams · live

cetz Canvas

Click shape primitives onto a live canvas and set each one's position, size, rotation and colour. No blind coordinates.

category theory · live

Commutative diagrams

Drawn in a bundled, offline copy of quiver and handed back to you as editable fletcher code.

the part no other Typst editor does

It doesn't just typeset the maths — it can do it.

Write diff(sin(x^2), x), choose equation mode, and Hilbert runs it and drops the typeset answer straight into your document. Or highlight an expression and simplify, solve, differentiate or integrate it in place with sympy.

Three engines are auto-detected from your machine — everything runs locally, time-limited, in a sandbox, so nothing leaves your computer:

Python

sympy · numpy · matplotlib

Julia

Latexify → equations

Mathematica

WolframScript · xAct

Ready-made examples reach General Relativity with xAct (Schwarzschild → Ricci & Kretschmann), Penrose diagrams and Wigner 3-j symbols. And you can cite by DOI or arXiv id — Hilbert fetches the paper, saves it to refs.bib and inserts @key.

you type

Integrate[
  Exp[-x^2],
  {x,-∞,∞}]

▶ run · Wolfram

→

inserted as

I =

typeset equation

light as it is capable

A whole scientific IDE, in about the size of a photo.

The recommended Tauri build replaces the Electron shell and Node backend with one small Rust binary that renders through your OS's own WebView. Same UI, same features — a fraction of the disk and memory.

Idle steady-state, macOS Apple Silicon, release builds, same document open. Disk sizes exact; RAM fluctuates with activity.

Tauri build Electron build

Installer sizemacOS .dmg

7.2 MB

97 MB

Unpacked appon disk

18 MB

248 MB

Idle memoryRAM

~160 MB

~320 MB

two editions, one repo

Pick your build.

Both are the same application. The Tauri build is smaller, lighter and updates itself; the Electron build is the reference shell.

	Tauri recommended	Electron
Install size (macOS)	~7 MB	~97 MB
Idle memory	~160 MB	~320 MB
Auto-updates	yes · asks first	manual
Windows	.exe / .msi	—
macOS Apple Silicon & Intel	both	Apple Silicon
Linux	AppImage / .deb	AppImage

install it

macOS, Windows, Linux.

Download the installer for your platform from the latest release. First install the Typst CLI (typst --version should work), then:

 macOS

Grab the .dmg — Apple Silicon for M-series, Intel for older Macs.
Open it and drag Hilbert into Applications.
It isn't notarised, so on first launch macOS may say it's “damaged.” Run these two separate commands, one per line:

xattr -cr "/Applications/Hilbert.app"
codesign --force --deep --sign - "/Applications/Hilbert.app"

Run them one at a time — pasting both on a single line makes the shell read --force as an argument to xattr and it errors.

⊞ Windows

Install Typst: winget install Typst.Typst
Download the .exe or .msi from Releases and run it.
Launch Hilbert — it behaves like a normal Windows app (no console flashes, failed compiles show a panel).

Only the Tauri build ships for Windows.

✋ Linux

Install the Typst CLI (cargo install typst-cli or your package manager).
Prefer the .AppImage (it auto-updates) or install the .deb.
For the AppImage: chmod +x Hilbert*.AppImage, then run it.

The .deb does not auto-update; the AppImage does.

get started

Three steps to your first document.

Hilbert drives the real Typst compiler rather than reimplementing it, so it needs the Typst CLI on your PATH. That's the only requirement.

Install Typst

brew install typst · winget install Typst.Typst · or a release binary.

Download Hilbert

Grab the Tauri installer for your platform from the Releases page. It auto-updates from there.

Open a folder & write

Optionally add tinymist for hover docs, and Python/Julia/Wolfram to run code.

Download the latest release → Read the docs on GitHub

You know the maths.Let it write the syntax.

Most Typst editors hand you a text box. Hilbert hands you the tools.

A typical Typst editor

Hilbert

Draw a program. Watch it run — inside the PDF.

A structured flowchart

Structured scripting, not a picture

Typst executes it in the preview

Everything annoying to type, drawn instead.

Plot Studio

cetz Canvas

Commutative diagrams

Feynman diagrams

Matrix Studio

Flowchart → code → run

Physics & cosmology menu

Citations & references

A real workspace

The builders, in the actual app.

Feynman diagram builder

Plot Studio

Matrix Studio

3D Plot Studio

cetz Canvas

Commutative diagrams

It doesn't just typeset the maths — it can do it.

A whole scientific IDE, in about the size of a photo.

Pick your build.

macOS, Windows, Linux.

 macOS

⊞ Windows

✋ Linux

Three steps to your first document.

Install Typst

Download Hilbert

Open a folder & write

You know the maths.
Let it write the syntax.