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 Inference
Intervention<T> and Counterfactual<T> types for first-class causal reasoning
View workflowClimate Science
Ensemble reasoning where uncertainty is allowed to halt the program before it turns into policy theater.
View workflowGenomics & Bioinformatics
DNA sequence operators and analysis
View workflowGraphics and Rendering
Terminal-native scientific visuals plus real raster renders generated by the checked JIT artifact.
View workflowKretikos GPU Compiler
GPU compiler lane with checked thread builtins, serial CPU fallback, in-tree PTX/CUBIN templates, and artifact bundles.
View workflowNeuroimaging
Diagnostic pipelines that preserve uncertainty instead of bluffing past weak or ambiguous signal.
View workflowPharmacometrics
PK/PD modeling with GUM uncertainty propagation for clinical dosing
View workflowQuantum Computing
Quantum state modeling via Linear Types
View workflowScientific Computing
Data analysis and uncertainty tracking
View workflow