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.
Working at the edge of your documentation
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:
- Rendered version:
- About:
Computer Science
The Undo Monad
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:
- Rendered version:
Campus du libre
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:
- Rendered:
FunOCaml
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:
- Rendered version:
When magic meets multicore
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:
https://github.com/pitag-ha/lambda-world-2025-merlin-domains/tree/main
- Rendered version:
Infinite Computations in Algorithmic Randomness and Reverse Mathematics
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
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:
https://choum.net/panglesd/slides/WDCM-2021-slips/wdcm-ada.html
- About:
Mathematics
Formal verification of the 5th Busy Beaver value
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
The “Defunctionalization for fun” presentation
- Type:
Typed presentation
- Author:
Li-yao Xia
- Slipshow version:
0.6.0: The King’s Slipshow
- Date:
2025
- Source:
https://gitlab.com/lysxia/prez/-/blob/main/defunctionalization-lmf.md
- Rendered version:
- About:
Computer Science
Structures et équations de graphes sourcés : petite largeur arborescente et chemins disjoints
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