Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Whiley Compiler (WyC)

Claimed by Whiley Analyzed 1 day ago

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.

33.8K lines of code

1 current contributors

over 3 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Java

Licenses: BSD-3-Clause

Tags compiler dsl flow_typing flowtyping functional functional_language functional_programming jvm language object_oriented programming_language programminglanguage 6 more...

Whiley Eclipse Plugin

Claimed by Whiley No analysis available

Eclipse Plugin for the Whiley Programming Language

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in language not available

Licenses: BSD-3-Clause

Tags eclipse ide java jvm plugin tooling whiley

Whiley Documentation

Claimed by Whiley Analyzed about 6 hours ago

Various documents relating to the Whiley Programming Language.

5.01K lines of code

1 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in TeX/LaTeX

Licenses: cc-by-25

Tags documentation whiley

Whiley Benchmarks

Claimed by Whiley Analyzed about 7 hours ago

A Benchmark Suite for Whiley.

1.66K lines of code

0 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Java

Licenses: BSD-3-Clause

Tags benchmarks whiley