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

One Monitoring Tool for IT, OT and Cloud | Free Trial

Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.

Try PRTG 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

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
Retool

Securely deploy vibe-coded apps in one governed platform. Build in Retool, import from tools like Claude Code, Replit, or Lovable, or connect via MCP. However your team builds, every app ships safely, with governance built in. People across your organization are already vibe-coding internal...

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