Whiley

Brought to you by: redjamjar

Last Update: 2013-04-11

Get an email when there's a new version of Whiley

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

nel_h2

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Whiley!

Additional Project Details

Registered

2009-10-31

Report inappropriate content

Recommended Projects

Twilight
Twilight is an imperative, object oriented, general purpose programming language. The guiding principles of Twilight are simplicity, practicality, and orthonogolity.
Unified Code Generation
Open-source code generator for Simulink/Stateflow
VirtMus
VirtMus (virtual music) allows the user to display multi-page sheet music and flip pages without removing the hands (or feet) from the instrument the music is performed on. It is very useful during concerts and practice sessions.