whiley

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

language programming-language whiley

Updated Dec 4, 2021
Shell

seanpm2001 / Learn-Whiley

Sponsor

Star

📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.

Updated May 31, 2024
Whiley

seanpm2001 / Bliss_Browser_Whiley

Sponsor

Star

🌳️🌐️#️⃣️ The Bliss Browser Whiley language support module, allowing Whiley programs to be written in and ran within the browser.

browser web-development gplv3 whiley web-browser gpl3 bliss-browser bliss-browser-development bliss-browser-languages bliss-browser-language-support bliss-browser-languagesupport bliss-browser-project whiley-lang whiley-language bliss-browser-whiley

Updated Dec 30, 2024
Whiley

emankced / VipingWhiley

Star

Whiley to Viper transpiler

scala viper whiley cats-parse

Updated Oct 1, 2023
Scala

DavePearce / VerificationBenchmarks

Star

A set of verification benchmarks which were mined from several well-known books on verification.

verification whiley benchmarks

Updated Nov 17, 2021
Java

DavePearce / WhileyWeb.rs

Star

A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.

rust whiley

Updated Jun 7, 2022
JavaScript

k4rtik / whiley-lang

Star

Syntax highlighting extension for Whiley programming language

extension vscode whiley vscode-extension

Updated Apr 1, 2026
Whiley

Add this topic to your repo

To associate your repository with the whiley topic, visit your repo's landing page and select "manage topics."

Learn more