Whiley
 

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,127 commits by
1 outside people on
2 of 9 projects
Whiley
0
Affiliated Committers - Open Hub
Outside Projects Projects small ghost

Portfolio Projects

 
Name   Primary Language I Use This Community Rating 12-month Activity & Year-on-Year Change
Contributors Commits
Whiley Eclipse Plugin Whiley Eclipse Plugin
1
5.0
 
  Affiliated: 
  Outside:   
Whiley Compiler (WyC) Whiley Compiler (WyC)
1
5.0
 
  Affiliated: 
  Outside:    6 +2 (50%) 278 -17 (5%)
Whiley Benchmarks Whiley Benchmarks
1 none
  Affiliated: 
  Outside:    3 +2 (200%) 18 -49 (73%)
Whiley Documentation Whiley Documentation
1 none
  Affiliated: 
  Outside:    4 +3 (300%) 27 -74 (73%)
Jasm Jasm
1
5.0
 
  Affiliated: 
  Outside:    1 10 +9 (900%)

W

WhileyCompilerCollec...
0 none
  Affiliated: 
  Outside:    1 58 +45 (346%)

W

WhileyTheoremProver
0 none
  Affiliated: 
  Outside:    1 +1 166 +166

W

Whiley2JavaCompiler
0 none
  Affiliated: 
  Outside:    1 +1 34 +34

W

WhileyDevelopmentKit
0 none
  Affiliated: 
  Outside:    2 +2 13 +13