======== Examples ======== In this page, you'll find a number of examples of "real life" Slipshow presentation. This can help in two ways: - It can give you an idea of what you can do with Slipshow, especially if you are only used to slides. - You can peek at the source to learn how to achieve certain effects, if you don't find them in the doc or want bigger examples. I'm the author of some presentations, other are authored by other person who kindly allowed me to list them here. Some of them have have the source available, other keep it private. I will make sure that my own presentations always work with the latest version of Slipshow. However, "external" presentations might require an older version of Slipshow. Note also that being "real-life" presentation, they were made under time constraints, sometimes using older versions with less features in the language. So the code is probably not the cleanest, and that is fine. .. contents:: :local: Working at the edge of your documentation ========================================= .. container:: example-card .. figure:: edge-doc.png :scale: 30 % :align: center :alt: A screenshot presenting the undo monad presentation end state :target: edge-documentation/doc.html The "Undo Monad" presentation :Type: Mixed type and drawn presentation :Author: Me! :Slipshow version: 0.7.0: The Slipshow of Dorian Gray :Date: 2026 :Source: :github_src:`example/edge-documentation` :Rendered version: ``_ :About: Computer Science The Undo Monad ============== .. container:: example-card .. figure:: undo-monad.png :scale: 30 % :align: center :alt: A screenshot presenting the undo monad presentation end state :target: undo-monad-short/pres.html The "Undo Monad" presentation :Type: Typed and drawn presentation :Author: Me! :Slipshow version: 0.7.0: The Slipshow of Dorian Gray :Date: 2025 :About: Computer Science :Source: :github_src:`example/undo-monad-short/` :Rendered version: ``_ Campus du libre =============== .. container:: example-card .. figure:: cdl.png :scale: 40 % :align: center :alt: A screenshot presenting the three parts of the CDL presentation :target: campus-du-libre/cdl.html The "Campus du libre" presentation :Type: Typed presentation :Author: Me! :Date: 2024 :Slipshow version: 0.7.0: The Slipshow of Dorian Gray :About: Slipshow :Source: :github_src:`example/campus-du-libre/` :Rendered: ``_ FunOCaml ======== .. container:: example-card .. figure:: funocaml.png :scale: 30 % :align: center :alt: A screenshot presenting the three parts of the CDL presentation :target: funocaml-2025/main.html The "FunOCaml" presentation :Type: Typed presentation :Author: Me! :Slipshow version: 0.7.0: The Slipshow of Dorian Gray :Date: 2025 :About: Slipshow and Computer Science :Source: :github_src:`example/funocaml-2025/` :Rendered version: ``_ When magic meets multicore ========================== .. container:: example-card .. figure:: domains-bump.png :scale: 30 % :align: center :alt: A screenshot presenting the Magic Multicore presentation :target: https://pitag-ha.github.io/lambda-world-2025-merlin-domains The "When magic meets multicore" presentation :Type: Typed presentation :Author: Sonja Heinze and Carine Morel :Slipshow version: 0.6.0: The King's Slipshow :Date: 2025 :About: Computer Science :Source: ``_ :Rendered version: ``_ Infinite Computations in Algorithmic Randomness and Reverse Mathematics ======================================================================= .. container:: example-card .. figure:: thesis2.png :scale: 30 % :align: center :alt: A screenshot showing the ICARRM presentation end state :target: https://choum.net/panglesd/slides/slides-js/slides.html The "ICARRM" presentation :Type: Typed presentation :Author: Me! :Slipshow version: The oldest of all :Date: 2019 :About: Mathematics :Source: Directly look at the HTML source :Rendered version: ``_ .. note:: The first ever Slipshow presentation! The computable strength of Milliken's Tree Theorem and applications =================================================================== .. container:: example-card .. figure:: milliken.png :scale: 30 % :align: center :alt: A screenshot of the Milliken presentation :target: https://choum.net/panglesd/slides/slides-js/slides.html The "Milliken Tree Theorem" presentation :Type: Typed presentation :Author: Me! :Slipshow version: Very old :Date: 2021 :Source: Directly look at the HTML source :Rendered version: ``_ :About: Mathematics Formal verification of the 5th Busy Beaver value ================================================ .. container:: example-card .. figure:: busybeaver.png :scale: 30 % :align: center :alt: A screenshot of the Milliken presentation :target: https://choum.net/panglesd/bbslides.html The "Busy Beaver" presentation :Type: Typed presentation with custom scripts :Author: Tristan Stérin, Maja Kądziołka :Slipshow version: 0.2 :Date: 2025 :Source: ``_ :Rendered version: ``_ :About: Mathematics Defunctionalization for fun =========================== .. container:: example-card .. figure:: fun-notfun.png :scale: 23 % :align: center :alt: A screenshot of the Defunctionalization presentation :target: https://choum.net/panglesd/slides/slides-js/slides.html The "Defunctionalization for fun" presentation :Type: Typed presentation :Author: Li-yao Xia :Slipshow version: 0.6.0: The King's Slipshow :Date: 2025 :Source: ``_ :Rendered version: ``_ :About: Computer Science Structures et équations de graphes sourcés : petite largeur arborescente et chemins disjoints ============================================================================================= .. container:: example-card .. figure:: humeau.png :scale: 30 % :align: center :alt: A screenshot of the presentation :target: https://choum.net/panglesd/slides/slides-js/slides.html The end state of presentation :Type: Typed presentation :Author: Samuel Humeau :Slipshow version: 0.6.0: The King's Slipshow :Date: 2025 :Source: No source :Rendered version: ``_ :About: Computer Science