Skip to content

No labels!

There aren’t any labels for this repository quite yet.

11 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
2
documentation
documentation
Improvements or additions to documentation
enhancement
enhancement
New feature or request
1
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
Host
Host
Requires changes to the extension host
7
invalid
invalid
This doesn't seem right
Pluto.jl backend
Pluto.jl backend
Requires integration with/changes to Pluto's backend (Julia) codebase
1
Pluto.jl frontend
Pluto.jl frontend
Requires integration with/changes to Pluto's frontend (JS) codebase
3
question
question
Further information is requested
wontfix
wontfix
This will not be worked on