img avatar
 

Organization Summary

Whiley is an open source effort to develop a programming language that automatically eliminates large classes of software error (e.g. out-of-bounds errors, null pointer exceptions, division-by-zero, etc). Whiley allows the programmer to write explicit specifications for functions, methods and data structures. A verifying compiler is then employed to statically check that programs meet their specifications. As such, Whiley is ideally suited for use in safety critical systems. However, there are many benefits to be gained from using Whiley in a general setting (e.g. improved documentation, maintainability, reliability, etc).

Share

Quick Reference

Organization Type:
Non-Profit
Links:
 Homepage
Managers:
David J. Pearce
7,797 commits by
1 outside people on
2 of 9 projects
Whiley
0
Affiliated Committers - Open Hub
Outside Projects

Portfolio Projects

 
Name   Primary Language I Use This Community Rating 12-month Activity & Year-on-Year Change
Contributors Commits
img avatar Whiley Eclipse Plugin
N/A 1
5.0
 
  Affiliated: 
  Outside:   
img avatar Whiley Compiler (WyC)
1
5.0
 
  Affiliated: 
  Outside:    -3 (100%) -108 (100%)
img avatar Jasm
1
5.0
 
  Affiliated: 
  Outside:   
img avatar Whiley Documentation
1 none
  Affiliated: 
  Outside:   
img avatar Whiley Benchmarks
1 none
  Affiliated: 
  Outside:   

W

WhileyTheoremProver
0 none
  Affiliated: 
  Outside:   

W

Whiley2JavaCompiler
0 none
  Affiliated: 
  Outside:   

W

WhileyDevelopmentKit
0 none
  Affiliated: 
  Outside:   

W

WhileyCompilerCollec...
N/A 0 none
  Affiliated: 
  Outside: