WeblyWalkThrough

Webly Walk-Through is a Web API prototyping server driven by VDM-SL.

Copyright (c) 2014 Research Center for Architecture-Oriented Formal Methods, Kyushu University
The development of this program is supported by Grant-in-Aid for Scientific Research (S) 24220001
Architecture Oriented Formal Approaches to High Quality Software Development

Project Activity

See All Activity >

License

MIT License

Follow WeblyWalkThrough

WeblyWalkThrough Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Rate This Project

User Reviews

Be the first to post a review of WeblyWalkThrough!

Additional Project Details

Registered

2015-04-07

Similar Business Software

Retool

Retool is the AI-native enterprise app development platform where teams build and ship production-ready apps — at AI speed, with enterprise governance built in. Describe what you need and get a working app, import React-based apps from Lovable, Replit, or Claude Code, or connect your AI agent...

See Software
Creatio

Creatio is an AI CRM and workflow platform where people and AI agents work together — with no limits on users, agents, workflows, or scale. Built for midsize and large organizations, it combines best-in-class CRM across sales, marketing, and service with an AI-native, no-code engine that lets...

See Software
Mako Server

The Mako Server is a compact, event-driven web and application server designed for resource-constrained systems. Engineered for embedded environments, it combines a lightweight HTTP/HTTPS server with a Lua scripting engine, enabling high-level development with direct access to low-level C code....

See Software
GOO Web Server

GOO Web Server is an integrated web application server platform designed to simplify the deployment and management of PHP-based applications on Windows and Linux environments. It provides a ready-to-use server stack with Apache, PHP, database connectivity, essential extensions, configuration...

See Software
Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Ionic

The Ionic Platform allows you to bring your apps to market faster with an integrated app platform built on the leading cross-platform mobile SDK. Build, secure, and deliver new mobile apps—and transform existing ones—across iOS, Android, and Web platforms from a single codebase. Full...

See Software