This presentation was compiled using "Manim", a mathematical animation engine. I used the Manim Slides plugin for easy slide creation. The slides can be rendered with the python code here.
If you do not wish to render the slides, the movie file for the completed animations can be found in "/media/videos/slides/1080p60/Semgrep.mp4".
Install software: pip3 install -U "manim-slides[pyside6-full]"
Render slides: manim-slides render slides.py
Run slides: manim-slides Semgrep
Convert slides to pdf: manim-slides convert Semgrep output.pdf
Convert slides to html: manim-slides convert Semgrep output.html
Convert slides to pptx: manim-slides convert Semgrep output.pptx