Showcase
Explore WaSHI's interactive WebAssembly playground, real-world decision-support applications, and mathematical optimization puzzle games—all running locally in your browser.
⚡ Playground
Formulate LP, MIP, Convex QP, and SMT models in TypeScript/JavaScript and solve directly in your browser via WebAssembly. Includes runnable presets, LP/SMT-LIB export inspection, sensitivity analysis, and Z3 unsatCore conflict diagnosis.
🏥 Applications
1-month 3-shift nurse roster scheduler combining on-device Chrome Built-in AI (Gemini Nano) for natural-language shift requests with WaSHI (HiGHS MILP) for sub-second optimization and conflict diagnosis.
Simultaneously coordinate 4 student cohort timetables, 10 faculty schedules (including adjunct day limits), and 7 specialized rooms. Add natural-language constraints via on-device Gemini Nano and solve or diagnose conflicts with WaSHI (HiGHS).
🎮 Optimization Games
Work alongside Chief Tactician Lilith to defend the Demon Castle from the Hero's advancing army day and night while respecting each guard's preferred hours and rest rules.
Block hungry wolves using a limited number of wooden fences while maximizing wild strawberries and plugging or avoiding pitfalls inside the safe pasture where Moko the sheep can roam.
Pack ordered metal parts into a titanium matrix plate with zero scrap void and zero fault lines alongside inspection drone UNIT-74. Experience true 2D cutting-stock MILP optimization.