Search Results for "opening"

...PlutoSliderServer can run a notebook and generate the export HTML file. This will give you the same file as the export button inside Pluto (top right), but automatically, without opening a browser. One use case is to automatically create a GitHub Pages site from a repository with notebooks. For this, take a look at our template repository that used GitHub Actions and PlutoSliderServer to generate a website on every commit. Many input elements only have a finite number of possible values, for example, PlutoUI.Slider(5:15) can only have 11 values. ...

Code evolves, and we all spend time studying diffs. Delta aims to make this both efficient and enjoyable: it allows you to make extensive changes to the layout and styling of diffs, as well as allowing you to stay arbitrarily close to the default git/diff output. Language syntax highlighting with color themes. Within-line highlights based on a Levenshtein edit inference algorithm. Git style strings (foreground color, background color, font attributes) are supported for >20 stylable elements....

Julia has @edit, @less, etc. which are very handy for reading the implementation of functions. However, you need to specify a "good enough" set of (type) parameters for them to find the location of the code.

...There are functions for creating and manipulating chess games, chess positions and sets of squares on the board, for reading and writing chess games in the popular PGN format (including support for comments and variations), for creating opening trees, and for interacting with UCI chess engines. The library was designed for the purpose of doing machine learning experiments in computer chess, but it should also be suitable for most other types of chess software.

APTo is a free and open-source tool to view, explore and analyse 3D Atom Probe data. You can start by simply opening a *.pos file with the corresponding *.rng file.

IDL and ENVI software tools for opening, viewing, filtering, and analyzing Malå Geoscience RAMAC™ ground-penetrating radar (GPR) data.