Explore @Whiley Open Source projects

The Whiley Programming Language (@Whiley)

Whiley

Stars
287
Global Org. Rank 33,098 (Top 11 %)
Registered almost 11 years ago
Most used languages

Java
69.2 %

Shell
15.4 %

TeX
7.7 %

JavaScript
7.7 %

WhileyCompiler

The Whiley Compiler (WyC)

Jasm

Assembler / Disassembler for Java Bytecode

WhileyTheoremProver

The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated by the Whiley Compiler. WyTP operates over a variant of first-order logic which includes integer arithmetic, arrays and quantification.

WhileyDocs

Various documents relating to the Whiley Programming Language.

WyBench

Benchmark Suite for Whiley

WhileyWeb

A simple web IDE for running Whiley programs on your computer using a web-browser.

Whiley2JavaCompiler

The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.

RFCs

Request for Comment (RFC) proposals for substantial changes to the Whiley language.

WhileyRewriteLanguage

WyRL is a domain specific rewrite language and code generator which has been custom developed for use within the Whiley Compiler. Specifically, WyRL is used to generate the Automated Theorem Prover used within Whiley.

Whiley2C

A C backend for the Whiley Compiler

WhileyDevelopmentKit

The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.

Whiley2JavaScript

Provides support for compiling Whiley programs in JavaScript. See http://whiley.org for more information on Whiley.

WhileyBuildAction

A Github action for building Whiley repositories.

Whiley2Boogie

A compiler backend for translating Whiley programs into Boogie programs for verification.