# System Design Explorer ### Web-based UX inspiration is from this free [Server Survival tower defense game](https://github.com/pshenok/server-survival) that teaches cloud architecture. Here's an [animated image of the gameplay](https://github.com/pshenok/server-survival/blob/main/assets/gameplay.gif). ![server survival](Website-Explorable/research/server-survival-image.png) In system design explorer, you can click each component in the image to program it in a language that looks like pseudocode for message passing. The language is P lang, and it allows you to write formally verifiable specs (i.e. mathematically-generated tests), which is a bit like fuzz testing the model that represents your distributed system design and explore it's properties in detail. There is an excellent VSCode development environment for P lang: https://p-org.github.io/peasy-ide-vscode/ ### Tangible / Physical Explorer Real 3D printed blocks based on the UI above, with threads connecting the blocks representing the flows. The real physical blocks are twinned with the blocks in the visual web UI. (WIP)