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
Climate modeling with uncertainty propagation for robust predictions
Open showcaseGenomics & Bioinformatics
DNA sequence operators and analysis
Open showcaseGPU Computing
The checked GPU artifact, PTX emission, and attested compute lanes.
Open showcaseGraphics and Rendering
Terminal-native scientific visuals plus real raster renders generated by the checked JIT artifact.
Open showcaseNeuroimaging
fMRI pipeline analysis and HRF computation
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