Outils de documentation

Asciinema permet d'enregistrer des sessions de terminal, de les envoyer automatiquement en ligne, de les enregistrer localement ou de les rejouer dans une page web avec un lecteur approprié :

• https://asciinema.org/
• https://github.com/asciinema/asciinema-player

Sur linux, il est installable depuis les dépôts sudo apt install asciinema

Voir SimpleScreenRecorder

Animation à partir de dessins vectoriels au format svg, exportables sous forme de suite d'image, par exemple pour être assemblées en vidéo ou en gif.

https://github.com/gweltou/SgAnimator

Adapté aux animations mathématiques. Les animations sont créées par des scripts python et exportées en vidéo mp4

• exemples : https://docs.manim.community/en/stable/examples.html
• https://github.com/ManimCommunity/manim/