As a shameless plug, if you want to visualize Kronecker product in circuits, I wrote an open-source Vue-based tool for visualizing quantum states and operators

As a shameless plug, if you want to visualize Kronecker product in circuits, I wrote an open-source Vue-based tool for visualizing quantum states and operators (with strong support for the tensor structure): https://github.com/Quantum-Game/bra-ket-vue https://github.com/Quantum-Game/bra-ket-vue There is an example of CNOT on the front page, you can create and visualize other gates. Including Toffoli in a strange basis, https://twitter.com/QuantumGameIO/status/1231938026806353920 https://twitter.com/QuantumGameIO/status/1231938026806353920. If you want to use that, I am happy to help. (All operations you mentioned are easy implementable with BraKetVue + Quantum Tensors, so if you want to make an interactive demo, it should be straightforward.)