Whiley is an experimental programming language, particularly suited to safety-critical systems. The guiding principle behind the design of Whiley is the ability to eliminate as many errors as possible at compile time. See http://whiley.org for more.

Project Activity

See All Activity >

Follow Whiley

Whiley Web Site

Other Useful Business Software
Save Up to 91% on Cloud Compute With Spot VMs Icon
Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Whiley!

Additional Project Details

Registered

2009-10-31
Report inappropriate content