Tamagotchi

Experimental React and infoview integration

One component, several hosts

The state machine and React tree are written in Lean. The same ReactTamagotchi.View mounts here as an application and inside the Lean infoview as a panel widget. These UI integrations are outside the official support scope.