GeezerVison is showing github.com — The Whiley Programming Language
Pinned
Loading
The Whiley Compiler (WyC)
Java
230
37
Various documents relating to the Whiley Programming Language.
TeX
7
2
Request for Comment (RFC) proposals for substantial changes to the Whiley language.
3
2
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Emacs Lisp
Java
JavaScript
Rust
Shell
TeX
Vim Script
Sort
Showing 10 of 24 repositories
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
1
Updated Jul 12, 2025
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
Whiley/WhileyCompiler's past year of commit activity
Java
230
Apache-2.0
37
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
Whiley/WhileyBuildTool's past year of commit activity
Rust
1
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
3
Apache-2.0
1
10
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
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.