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.
Potato is a Squeak virtual machine completely written in Java. It is a derivative of JSqueak (http://research.sun.com/projects/JSqueak/) which was developed by Dan Ingalls. There is a blog on the project at http://potatovm.blogspot.com/.
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.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Pocket Smalltalk is Smalltalk-80 for small machines. Currently we support PalmOS with a virtual machine. We are looking for ports to other devices. PSt consists of an IDE (currently for Win32), which generates executables from Smalltalk source.