Counter
Minimal state updates with deterministic event-to-output behavior.
Yichus is a Bosatsu application for Bosatsu developers. Build provenance-aware interactive demos and simulations that let you ask “why did this value happen?” and explore alternate paths instantly.
60fps canvas physics — every frame is a pure function, every state update is O(1).
Watch a button click become a direct DOM mutation with zero re-renders.
Open the tax calculator and inspect exactly how each output was derived.
Detect when AI-generated code fakes outputs instead of using real inputs.
Five particles with gravity, bouncing, and damping — 60fps canvas animation in pure Bosatsu.
Step through an IO lifecycle and see why effects-as-values enables static analysis.
Watch data flow light up as derived values trace back to their sources.
Items move between zones on desktop and mobile — O(1) style binding updates.
Write Bosatsu simulation code and compile it entirely in your browser — no server required. Edit, run, and explore results with full Why-provenance tracing.
Open Playground Powered by Scala.jsFollow a Yichus-specific walkthrough and jump to Bosatsu docs for language basics.
Generate initial TLA+ specs from Bosatsu source with Yichus IO operations.
Export .matchless.analysis.json with IO sites, causal edges, and per-binding purity summaries.
Detect when AI-generated bindings fake their outputs. Four trust signals, shared human-agent interface, full IO chain analysis.
Read docs, browse source, and run Yichus locally from the main repo.
Minimal state updates with deterministic event-to-output behavior.
List state operations with predictable add/remove update paths.
Condition-driven views with explicit state transitions.
Controlled inputs and state synchronization without hidden effects.
Pointer-driven interactions backed by explicit IO event flow.
Dynamic list composition with stable rendering paths.
Canvas animation loop expressed through Yichus IO updates.
Inspect end-to-end provenance across UI bindings and derived values.
Visualize IO boundaries and state mutation timing in the runtime.
Detect when AI-generated code fakes outputs instead of using real inputs.
Low-latency keyboard interactions with explicit effect handling.
Large animated state updates using incremental runtime updates.
Change rates and terms, then inspect calculation provenance per field.
Explore brackets and assumptions with explainable, traceable outputs.
Model emissions scenarios and inspect the chain behind each total.
Run portfolio assumptions and compare outcomes across scenarios.
Evaluate policy branches and inspect why a path was selected.
Test strategic allocations and compare simulated performance.
Evaluate tier transitions and inspect traceable decision points.
Compare branch outcomes side-by-side with full provenance context.