Skip to content

A Google Chrome extension written in pure JavaScript that adds file/dataset/workspace import and export functionalities to WebPPL.org editor.

Notifications You must be signed in to change notification settings

ozgunozankilic/WebPPL-Import-Export-Enabler

Repository files navigation

WebPPL Import/Export Enabler

About

WebPPL.org provides an online editor to write and run WebPPL code. However, it has no import capabilities and only allows generating MD-formatted text for one file at a time. Also, using datasets require some manual work.

This lightweight Google Chrome extension adds import and export functionalities by parsing files and manipulating the local storage. One can export a notebook as an .md file or the entire workspace as a .json file. It is possible to later import multiple .md files or the workspace at once, making working with the online editor even more portable and convenient. Furthermore, it allows importing CSV or JSON data as a variable that can be used in WebPPL.

The extension is tested in Chrome, Opera, and Brave. It is likely to work in other browsers as well, especially Chromium-based ones. It seems making adjustments in the manifest is necessary for Firefox.

Usage

You can install it from Chrome Web Store using browsers that support Chrome Web Store. Updates are published there a few days behind as the approval procedure takes time, but you would automatically get the updates. Alternatively, you can download the latest release from here.

If you choose to manually install it, you will need to enable the developer mode and drag the .zip file to the extensions panel. This step depends on your browser. For Chrome, visit chrome://extensions/.

ss-github2

After installing the extension, you should see two new buttons in the editor:

v1 1 0_ss1

Clicking on these, you can import/export a file/workspace or and import a dataset as a variable:

v1 1 0_ss2 v1 1 0_ss3 v1 1 0_ss4 v1 1 0_ss5

About

A Google Chrome extension written in pure JavaScript that adds file/dataset/workspace import and export functionalities to WebPPL.org editor.

Topics

Resources

Stars

Watchers

Forks