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.
Categories
InterpretersLicense
MIT LicenseFollow VDMPad
Other Useful Business Software
Stop vibe-debugging.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of VDMPad!