Science

Every number carries its doubt.

Domain workflows where uncertainty is not a footnote but a type — present at every step, propagated by the compiler, enforced at the boundary.

The type system at work

From pharmacometrics to network geometry — each workflow shows how epistemic confidence travels through a real computation and what happens when it runs out.

🔀 causal

因果推断

用于第一类因果推理的干预和反事实类型

View workflow
🌍 climate

气候科学

在允许不确定性阻止程序转变为政策剧场的情况下进行集合推理。

View workflow
🧬 genomics

基因组学与生物信息学

DNA序列操作与分析

View workflow
🎨 graphics

Graphics and Rendering

通过原生执行 Sounio 示例生成的终端科学显示和光栅图像。

View workflow
🏛️ gpu

Kretikos GPU Compiler

GPU编译器，包含检查线程内置、串行CPU回退、内部PTX/CUBIN模板以及制品包。

View workflow
🧠 neuroimaging

神经成像

保留不确定性的诊断管道，而不是对弱或模糊信号视而不见。

View workflow
💊 pharma

药代动力学

使用GUM不确定性传播进行临床给药的PK/PD建模

View workflow
⚛️ quantum

量子计算

通过线性类型建模量子态

View workflow
🔬 science

科学计算

数据分析与不确定性追踪

View workflow