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

Forever Free Full-Stack Observability | Grafana Cloud

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.

Create free account

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 an AI-powered platform that enables teams to build internal software, agents, and workflows faster using natural language and composable building blocks. It allows users to go from a simple prompt to a fully deployed application that works with their existing data, systems, and...

See Software
Creatio

Creatio is a global vendor of an agentic AI-native CRM and workflow automation platform that combines no-code development and AI to automate customer journeys and business processes with maximum flexibility. The platform includes Creatio Studio, enabling users to build applications and AI...

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
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
DronaHQ

DronaHQ is a low-code platform to build internal tools and custom apps for the web and mobile. Developers and engineering teams use this platform to create admin panels, CRUD apps, GUI for Databases or APIs, forms, dashboards & operational apps. Key features include: - Customizable UI...

See Software