'K Scratchpad Online? [closed]

Is there any online "k-scratchpad" that one can visit within their browser and immediately start writing / compiling / running K files?

What I've Tried

  1. Google searched for things like k framework online
  2. Did a GitHub search and found this project kweb - but the URL linked on that repo doesn't seem to work any more.

Why?

Just some reasons I can think of:

  1. For newcomers to the K language who just want to give it a whirl, having an interactive scratchpad with zero setup cost may motivate more people to get involved in the language.
  2. For sharing interactive K examples - if the online tool allowed people to create a permalink to their scratchpads (like dotnetfiddle does). These could be pasted as examples linked from various K repositories to show some of the code in action, for people visiting them.
  3. If there was something like a Jupyter Notebook for K it would be a great way to bring to life the literate programming demonstrated in the K-Tutorial.

Other Languages / Tools

Just a tiny handful of examples:

  1. For Coq there's JsCoq
  2. For C#, for example there's dotnetfiddle
  3. For Python there are many examples but probably most notably Jupyter Notebooks
  4. For Java there are also many examples e.g. JDoodle
  5. ... etc.
kframework


Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source

Related Questions