Hay muchísimos, he buscado y mirado todos y sigo desasistiendo porque o son para niños como el scratch, o para un objetivo muy específico y sencillo como la placa electrónica/iot, o te obligan a un nuevo paradigma, y ninguno de ellos está basado en ninguna teoría sólida.
Así que he decidido trabajar en uno de momento está en fase de prueba de concepto y está basado en la máquina de estados/petrinas llamada grafcet utilizada en la automatización de fábricas, y he trabajado mucho (y aún lo hago) para extenderlo genéricamente de forma que pueda funcionar con cualquier lenguaje mainstream (javascript, más tarde java, kotlin, go, rust, php,...) incluso los antiguos (cobol,...) porque originalmente estaba pensado para ser una herramienta de especificaciones para ser fácilmente implementable en código. Una de mis ideas es que permita crear DSL visuales fácilmente.
Hoy puedo decir que he validado la idea, lo que falta es hacer la UX realmente suave y también porque mi obsesión es unificar también con Business Workflow y tener trazabilidad (casi automática) entre las capas micro-técnicas y las capas micro-negocio para deshacerse de la documentación improductiva y también ser capaz de modelar realmente las cosas en los detalles a diferencia de UML que no estaba destinado a hacerlo - aunque tengo la intención de hacer un puente con UML ya que sigue siendo útil como un estándar.
Para la primera etapa, será más una herramienta de enseñanza para los adultos, pero para asegurarse de que es fácil de usar, también voy a apuntar a los niños. Incluso he comenzado a crear un prototipo de un kit para las ONG en los países subdesarrollados que podría enseñar la programación sin ... cualquier pantalla de ordenador.