Skip to content
#

whiley-language

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Whiley 3 R 1

seanpm2001 / SNU_2D_ProgrammingTools_IDE_Whiley

Sponsor
Star 2

⌨️ The Whiley programming language IDE submodule for SNU Programming Tools (2D Mode)

web-development programming web-ide gplv3 ide whiley snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snuprogramming-tools snu2dprogrammingtools snu2dprogramming-tools whiley-lang whiley-language
  • Updated May 31, 2024
  • Whiley

seanpm2001 / Learn-Whiley

Sponsor
Star 2

📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.

education collection knowledge article gplv3 whiley learn gpl3 seanpm2001-life-archive seanpm2001 seanpm2001-education seanpm2001-learn seanpm2001-docs seanpm2001-documentation seanpm2001-languages learn-whiley learn-whiley-lang learn-whiley-language whiley-lang whiley-language
  • Updated May 31, 2024
  • Whiley

seanpm2001 / Bliss_Browser_Whiley

Sponsor
Star 1

🌳️🌐️#️⃣️ The Bliss Browser Whiley language support module, allowing Whiley programs to be written in and ran within the browser.

browser web-development gplv3 whiley web-browser gpl3 bliss-browser bliss-browser-development bliss-browser-languages bliss-browser-language-support bliss-browser-languagesupport bliss-browser-project whiley-lang whiley-language bliss-browser-whiley
  • Updated Dec 30, 2024
  • Whiley

seanpm2001 / AI2001_Category-Source_Code-SC-Whiley

Sponsor
Star 1

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Whiley category for AI2001, containing Whiley programming language datasets

ai gplv3 artificial-intelligence dataset gpl3 ai2001 ai-2001 ai2001-dataset ai-2001-dataset ai2001-development ai-2001-development ai2001-source-code-dataset sc-dataset ai-2001-project ai2001-project whiley-lang whiley-language whiley-dataset whiley-sc-dataset
  • Updated Sep 12, 2024
  • R

Add this topic to your repo

To associate your repository with the whiley-language topic, visit your repo's landing page and select "manage topics."

Learn more