VDMPad

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.

Project Samples

Project Activity

See All Activity >

License

MIT License

Follow VDMPad

VDMPad Web Site

Other Useful Business Software

Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.

With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.

Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.

Learn More

Rate This Project

User Reviews

Be the first to post a review of VDMPad!

Additional Project Details

Operating Systems

Linux, Mac

Intended Audience

Developers, Information Technology

User Interface

Web-based

Programming Language

JavaScript, Smalltalk

Related Categories

Smalltalk Interpreters, JavaScript Interpreters

Registered

2013-09-14

Similar Business Software

DbVisualizer

DbVisualizer is a universal database client for developers, DBAs, analysts, and data engineers working with relational and NoSQL databases. It provides a graphical interface for database development, SQL querying, data exploration, and database admin. The tool includes a powerful SQL editor...

See Software
Windocks

Windocks is a leader in cloud native database DevOps, recognized by Gartner as a Cool Vendor, and as an innovator by Bloor research in Test Data Management. Novartis, DriveTime, American Family Insurance, and other enterprises rely on Windocks for on-demand database environments for development,...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Google Cloud SQL

Fully managed relational database service for MySQL, PostgreSQL, and SQL Server with rich extension collections, configuration flags, and developer ecosystems. New customers get $300 in free credits to spend on Cloud SQL. You won’t be charged until you upgrade. Reduce maintenance costs with...

See Software
Kasm Workspaces

Kasm Workspaces streams your workplace environment directly to your web browser…on any device and from any location. Kasm uses our high-performance streaming and secure isolation technology to provide web-native Desktop as a Service (DaaS), application streaming, and secure/private web...

See Software
Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software