Skip to content
@Whiley

The Whiley Programming Language

Devoted to the development of Whiley, an open source programming language.

Pinned Loading

  1. WhileyCompiler WhileyCompiler Public

    The Whiley Compiler (WyC)

    Java 219 36

  2. WhileyDocs WhileyDocs Public

    Various documents relating to the Whiley Programming Language.

    TeX 7 2

  3. RFCs RFCs Public

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

    3 2

Repositories

Showing 10 of 24 repositories
  • WhileyOrg Public

    Code for the whiley.org website

    Whiley/WhileyOrg’s past year of commit activity
    JavaScript 0 Apache-2.0 0 9 0 Updated Feb 11, 2024
  • WhileyWeb Public

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

    Whiley/WhileyWeb’s past year of commit activity
    JavaScript 4 BSD-3-Clause 3 5 0 Updated Apr 16, 2023
  • WhileyCompiler Public

    The Whiley Compiler (WyC)

    Whiley/WhileyCompiler’s past year of commit activity
    Java 219 Apache-2.0 36 43 0 Updated Feb 9, 2023
  • WhileyLanguageTests Public

    A suite of acceptance tests for tools (e.g. compilers / verifiers) working with Whiley. These test clarify expected semantics of the language, as well as expectations regarding verification performance.

    Whiley/WhileyLanguageTests’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Dec 11, 2022
  • Repository Public

    The first package repository for Whiley!

    Whiley/Repository’s past year of commit activity
    Shell 0 0 0 0 Updated Aug 12, 2022
  • WhileyBuildTool Public

    A command-line build tool for use with Whiley.

    Whiley/WhileyBuildTool’s past year of commit activity
    Rust 0 Apache-2.0 0 9 0 Updated Aug 11, 2022
  • Whiley2Boogie Public

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

    Whiley/Whiley2Boogie’s past year of commit activity
    Java 1 Apache-2.0 0 32 0 Updated Aug 11, 2022
  • RFCs Public

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

    Whiley/RFCs’s past year of commit activity
    3 2 68 2 Updated Jun 16, 2022
  • STD.wy Public

    The Whiley Standard Library. This is a minimal set of primitives for interacting with the world.

    Whiley/STD.wy’s past year of commit activity
    0 Apache-2.0 1 9 0 Updated Jun 9, 2022
  • Whiley2C Public

    A C backend for the Whiley Compiler

    Whiley/Whiley2C’s past year of commit activity
    Java 3 Apache-2.0 0 0 0 Updated Jun 9, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…