Semantic visualization of Blech execution flows (Sprotty + VS Code demo)
typescript thesis static-analysis vscode-extension thesis-project sprotty synchronous-programming blech program-visualization
-
Updated
Nov 2, 2025