DanielGibbsNZ / WhileyWeb Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A very simple web-interface for editing and compiling Whiley programs from a web-browser. Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.

BSD-3-Clause license

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 135 Commits
css		css
data		data
html		html
images		images
js		js
lib		lib
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
cgi-launcher.cgi		cgi-launcher.cgi
launcher.cgi		launcher.cgi
whiley.policy		whiley.policy

Repository files navigation

WhileyWeb

A very simple web-interface for editing and compiling Whiley programs from a web-browser. Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.

Dependencies

WhileyWeb requires the following Python libraries to be installed and available:

About

A very simple web-interface for editing and compiling Whiley programs from a web-browser. Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.

Readme

BSD-3-Clause license

Activity

0 stars

0 watching

0 forks

Report repository