1
I Use This!
Very Low Activity
Analyzed 26 days ago. based on code collected 6 months ago.

Project Summary

Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.

Tags

compiler dsl flowtyping flow_typing functional functional_language functional_programming jvm language object_oriented programminglanguage programming_language research software_development statictyping typeinference verification whiley

In a Nutshell, Whiley Compiler (WyC)...

Quick Reference

BSD 3-clause "New" or "Revised" License
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
Java
99%
XML
1%

30 Day Summary

Mar 27 2019 — Apr 26 2019

12 Month Summary

Apr 26 2018 — Apr 26 2019
  • 122 Commits
    Down -140 (53%) from previous 12 months
  • 3 Contributors
    Up + 2 (200%) from previous 12 months