VDMPad is a simple Web IDE server for VDM-SL based upon VDMJ and Squeak Smalltalk.
You can launch a VDMPad Server on your Mac or Linux PC and open "http://localhost:8085" with your browser.
Although VDM does NOT run on Windows platforms, you can use Windows/iOS/Android devices to open VDMPad running on Mac or Linux server.
Squeak is an open, highly-portable Smalltalk-80 implementation providing platform-independent 2d and 3d graphics, sound, and network access. Active development of Squeak is going on elsewhere than SourceForge now, meet us at squeak.org.