GitHub topics: whiley
seanpm2001/SNU_2D_ProgrammingTools_IDE_Whiley
⌨️ The Whiley programming language IDE submodule for SNU Programming Tools (2D Mode)
Language: Whiley - Size: 249 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
seanpm2001/Learn-Whiley
📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.
Language: Whiley - Size: 241 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
seanpm2001/Bliss_Browser_Whiley
🌳️🌐️#️⃣️ The Bliss Browser Whiley language support module, allowing Whiley programs to be written in and ran within the browser.
Language: Whiley - Size: 1.74 MB - Last synced at: 8 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
Whiley/WhileyCompiler
The Whiley Compiler (WyC)
Language: Java - Size: 43.5 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 216 - Forks: 34
Whiley/WhileyWeb
A simple web IDE for running Whiley programs on your computer using a web-browser.
Language: JavaScript - Size: 6.29 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 3
Whiley/WyBench
Benchmark Suite for Whiley
Language: Java - Size: 32.3 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 6
Whiley/WhileyDocs
Various documents relating to the Whiley Programming Language.
Language: TeX - Size: 44.4 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2
Whiley/Whiley2JavaCompiler
The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.
Language: Java - Size: 3.27 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 1
emankced/VipingWhiley
Whiley to Viper transpiler
Language: Scala - Size: 106 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
samminweng/WhileyOpenCL
Aims to produce efficient implemtation for verification friendly Whiley programs.
Language: C - Size: 298 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
DavePearce/WhileyWeb.rs
A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.
Language: JavaScript - Size: 253 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
k4rtik/whiley-lang
Syntax highlighting extension for Whiley programming language
Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
Whiley/WhileyDevelopmentKit
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: Shell - Size: 169 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1
DavePearce/VerificationBenchmarks
A set of verification benchmarks which were mined from several well-known books on verification.
Language: Java - Size: 56.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0