GitHub topics: whiley-lang
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: 7 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
seanpm2001/AI2001_Category-Source_Code-SC-Whiley
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Whiley category for AI2001, containing Whiley programming language datasets
Language: R - Size: 1.84 MB - Last synced at: 7 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
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: 7 days ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0
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: 7 days ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0