Skip to content
GitHub Universe 2025
Explore 100+ talks, demos, and workshops at Universe 2025. Choose your favorites.
#

whiley

Star

Here are 3 public repositories matching this topic...

Language: Whiley
Filter by language
All 14 Java 4 Whiley 3 JavaScript 2 C 1 Scala 1 Shell 1 TeX 1

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 / 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 / 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

Improve this page

Add a description, image, and links to the whiley topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more