Select a tag to browse associated projects and drill deeper into the tag cloud.
Whiley Compiler (WyC)
Claimed by Whiley Analyzed about 19 hours 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.
Licenses:
BSD-3-Clause