There is Turing Complete [0], although it's still somewhat in development, but it is very much playable.

[0]: https://store.steampowered.com/app/1444480/Turing_Complete/

Another good one: https://nandgame.com/

Yes there is: https://sebastian.itch.io/digital-logic-sim

Silicon Zeroes might be up your alley, though IIRC it starts with logic gates and builds up to more complex logic/computation, it doesn't focus on the electrical engineering side of things.

https://store.steampowered.com/app/684270/Silicon_Zeroes/