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.
The Pointrel System is an RDF-like triple store implemented on the Java/JVM platform, supporting related social semantic desktop applications to create, use, exchange, and organize informational resources for a reasonably joyful and secure world.
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.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.