GitHub repository: lucio-cornejo/custom-pluto
Primary language: JavaScript
Created: 2022-10-13T17:45:07Z
Description: Customize Julia's Pluto notebook's style and keyboard shortcuts.