Bounded examples, packaged honestly.
Showcases are not the same thing as the public contract. They are edited entry points into real domains and workflows so you can understand what the project is trying to do without confusing demos for guarantees.
Causal Inference
Intervention<T> and Counterfactual<T> types for first-class causal reasoning
Open showcaseClimate Science
Ensemble reasoning where uncertainty is allowed to halt the program before it turns into policy theater.
Open showcaseGenomics & Bioinformatics
DNA sequence operators and analysis
Open showcaseGraphics and Rendering
Terminal-native scientific visuals plus real raster renders generated by the checked JIT artifact.
Open showcaseKretikos GPU Compiler
GPU compiler lane with checked thread builtins, serial CPU fallback, in-tree PTX/CUBIN templates, and artifact bundles.
Open showcaseNeuroimaging
Diagnostic pipelines that preserve uncertainty instead of bluffing past weak or ambiguous signal.
Open showcasePharmacometrics
PK/PD modeling with GUM uncertainty propagation for clinical dosing
Open showcaseQuantum Computing
Quantum state modeling via Linear Types
Open showcaseScientific Computing
Data analysis and uncertainty tracking
Open showcase