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

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

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

Dagger
Dagger is a fully static, compile-time dependency injection framework for Java, Kotlin, and Android. It is an adaptation of an earlier version created by Square and now maintained by Google. The latest Dagger release is: Dagger 2.33. Dagger aims to address many of the development and performance...
OCaml
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical...
k23
k23 is a microkernel-based operating system project written in Zig, an emerging systems programming language focused on safety, simplicity, and performance. k23 explores the design of modern OS features like message-passing, memory protection, and modular service construction using Zig’s...
Caliban
Caliban is a purely functional library for building GraphQL servers and clients in Scala. The design principles behind the library are the following. Minimal amount of boilerplate: no need to manually define a schema for every type in your API. Pure interface: errors and effects are returned...
Rust Programming Language
The Rust Programming Language is a language that empowers you to build reliable and efficient software. It runs blazingly fast and is memory-efficient, so it can power performance-critical services and run on embedded devices. It has a rich type system and ownership model, ensuring both thread...