Skip to content

Consider alternative playpen backends for remote code execution #350

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
budziq opened this issue Jun 23, 2017 · 5 comments
Open

Consider alternative playpen backends for remote code execution #350

budziq opened this issue Jun 23, 2017 · 5 comments
Labels
A-Playground Area: Playground S-Wishlist Status: Wishlist

Comments

@budziq
Copy link
Contributor

budziq commented Jun 23, 2017

Currently the support for https://play.rust-lang.org/ is hardcoded into book.js. We might be interested to support alternative ones like

Like:

Also take into consideration support for other languages:

See https://fiddles.io/ for extended list

@budziq budziq changed the title Support alternative remote playpens for code execution Consider alternative playpen backends for remote code execution Jun 23, 2017
@budziq budziq mentioned this issue Jun 23, 2017
@azerupi azerupi added the S-Wishlist Status: Wishlist label Jun 24, 2017
@agauniyal
Copy link

+1 for godbolt. I would like to present wandbox as common denominator here as well.

@CjS77
Copy link

CjS77 commented Sep 18, 2018

There's an easy workaround here:
mdbook init --theme

and edit book.js to point to your custom playpen/playground (Rust only, mind you)

@vanceism7
Copy link

I'm really interested in getting this feature going - Mdbook is great but it'd be nice if we could hook into other playground code editors (like purescript, haskell, etc). I don't mind trying to implement this myself, does anyone have any suggestions as a good starting point?

@julianfortune
Copy link

@vanceism7 Haskell folks have created a public API for executing code:

@Kleidukos
Copy link

Indeed, and we're also looking into integrating the Haskell playground into mdBook. :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-Playground Area: Playground S-Wishlist Status: Wishlist
Projects
None yet
Development

No branches or pull requests

8 participants