whiley
Here are 13 public repositories matching this topic...
Various documents relating to the Whiley Programming Language.
-
Updated
Nov 8, 2021 - TeX
The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.
-
Updated
Dec 4, 2021 - Shell
⌨️ The Whiley programming language IDE submodule for SNU Programming Tools (2D Mode)
-
Updated
May 31, 2024 - Whiley
📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.
-
Updated
May 31, 2024 - Whiley
Syntax highlighting extension for Whiley programming language
-
Updated
May 6, 2022
A set of verification benchmarks which were mined from several well-known books on verification.
-
Updated
Nov 17, 2021 - Java
Improve this page
Add a description, image, and links to the whiley topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the whiley topic, visit your repo's landing page and select "manage topics."