Skip to content

@Whiley The Whiley Programming Language

Change the repository type filter

All

    Repositories list

    24 repositories

    • WhileyWeb

      Public
      A simple web IDE for running Whiley programs on your computer using a web-browser.
      javacompilerwhiley
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •3•4•5•1•Updated Jul 12, 2025Jul 12, 2025

    • WhileyOrg

      Public
      Code for the whiley.org website
      JavaScript
      •
      Apache License 2.0
      •0•0•9•0•Updated Feb 11, 2024Feb 11, 2024

    • WhileyCompiler

      Public
      The Whiley Compiler (WyC)
      languagecompilerverificationwhiley
      Java
      •
      Apache License 2.0
      •36•222•43•0•Updated Feb 9, 2023Feb 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.
      Apache License 2.0
      •0•0•0•0•Updated Dec 11, 2022Dec 11, 2022

    • Repository

      Public
      The first package repository for Whiley!
      Shell
      •0•0•0•0•Updated Aug 12, 2022Aug 12, 2022

    • WhileyBuildTool

      Public
      A command-line build tool for use with Whiley.
      Rust
      •
      Apache License 2.0
      •0•1•9•0•Updated Aug 11, 2022Aug 11, 2022

    • Whiley2Boogie

      Public
      A compiler backend for translating Whiley programs into Boogie programs for verification.
      Java
      •
      Apache License 2.0
      •0•1•32•0•Updated Aug 11, 2022Aug 11, 2022

    • RFCs

      Public
      Request for Comment (RFC) proposals for substantial changes to the Whiley language.
      2•3•68•2•Updated Jun 16, 2022Jun 16, 2022

    • STD.wy

      Public
      The Whiley Standard Library. This is a minimal set of primitives for interacting with the world.
      Apache License 2.0
      •1•0•10•0•Updated Jun 9, 2022Jun 9, 2022

    • Whiley2C

      Public
      A C backend for the Whiley Compiler
      Java
      •
      Apache License 2.0
      •0•3•0•0•Updated Jun 9, 2022Jun 9, 2022

    • DOM.wy

      Public
      Whiley bindings for the W3C Document Object Model.
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 1, 2022Jun 1, 2022

    • JS.wy

      Public
      Language Bindings for JavaScript
      JavaScript
      •
      Apache License 2.0
      •0•0•2•0•Updated Jun 1, 2022Jun 1, 2022

    • Whiley2JavaScript

      Public
      Provides support for compiling Whiley programs in JavaScript. See http://whiley.org for more information on Whiley.
      Java
      •
      Apache License 2.0
      •5•2•29•0•Updated May 25, 2022May 25, 2022

    • WhileyEmacsMode

      Public
      Emacs Lisp
      •
      GNU General Public License v3.0
      •1•0•4•0•Updated May 1, 2022May 1, 2022

    • WhileySyntaxBundle

      Public
      A TextMate plugin for Whiley
      Apache License 2.0
      •0•0•3•0•Updated Apr 26, 2022Apr 26, 2022

    • WhileyBuildAction

      Public
      A Github action for building Whiley repositories.
      Shell
      •
      Apache License 2.0
      •0•1•1•0•Updated Apr 21, 2022Apr 21, 2022

    • WhileyDevelopmentKit

      Public
      The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.
      languageprogramming-languagewhiley
      Shell
      •
      Apache License 2.0
      •1•2•1•0•Updated Dec 4, 2021Dec 4, 2021

    • WyBench

      Public
      Benchmark Suite for Whiley
      benchmarkingexampleswhiley
      Java
      •6•6•4•0•Updated Nov 18, 2021Nov 18, 2021

    • WhileyDocs

      Public
      Various documents relating to the Whiley Programming Language.
      documentationlatexwhiley
      TeX
      •2•7•22•1•Updated Nov 8, 2021Nov 8, 2021

    • WhileyTheoremProver

      Public
      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.
      Java
      •
      Apache License 2.0
      •2•8•51•0•Updated Oct 19, 2021Oct 19, 2021

    • Whiley2JavaCompiler

      Public
      The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.
      javabytecodecompilerwhiley
      Java
      •
      Other
      •1•4•14•0•Updated Jun 2, 2021Jun 2, 2021

    • Jasm

      Public
      Assembler / Disassembler for Java Bytecode
      bytecodejava-bytecodejava
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •10•23•6•0•Updated Jun 2, 2021Jun 2, 2021

    • WhileyVimMode

      Public
      Vim Mode for Syntax Highlighting
      Vim Script
      •
      Apache License 2.0
      •0•0•1•0•Updated Feb 16, 2021Feb 16, 2021

    • WhileyRewriteLanguage

      Public
      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.
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•19•0•Updated Jul 7, 2017Jul 7, 2017