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

A screenshot presenting the undo monad presentation end state

The “Undo Monad” presentation

Type:

Mixed type and drawn presentation

Author:

Me!

Slipshow version:

0.11.0: Brazlip

Date:

2026

Source:

example/edge-documentation

Rendered version:

edge-documentation/doc.html

About:

Computer Science

The Undo Monad

A screenshot presenting the undo monad presentation end state

The “Undo Monad” presentation

Type:

Typed and drawn presentation

Author:

Me!

Slipshow version:

0.11.0: Brazlip

Date:

2025

About:

Computer Science

Source:

example/undo-monad-short/

Rendered version:

undo-monad-short/pres.html

Campus du libre

A screenshot presenting the three parts of the CDL presentation

The “Campus du libre” presentation

Type:

Typed presentation

Author:

Me!

Date:

2024

Slipshow version:

0.11.0: Brazlip

About:

Slipshow

Source:

example/campus-du-libre/

Rendered:

campus-du-libre/cdl.html

FunOCaml

A screenshot presenting the three parts of the CDL presentation

The “FunOCaml” presentation

Type:

Typed presentation

Author:

Me!

Slipshow version:

0.11.0: Brazlip

Date:

2025

About:

Slipshow and Computer Science

Source:

example/funocaml-2025/

Rendered version:

funocaml-2025/main.html

When magic meets multicore

A screenshot presenting the Magic Multicore presentation

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:

https://pitag-ha.github.io/lambda-world-2025-merlin-domains

Infinite Computations in Algorithmic Randomness and Reverse Mathematics

A screenshot showing the ICARRM presentation end state

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:

https://choum.net/panglesd/slides/slides-js/slides.html

Note

The first ever Slipshow presentation!

The computable strength of Milliken’s Tree Theorem and applications

A screenshot of the Milliken presentation

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

A screenshot of the Milliken presentation

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:

https://github.com/meithecatte/bbslides/

Rendered version:

https://choum.net/panglesd/bbslides.html

About:

Mathematics

Defunctionalization for fun

A screenshot of the Defunctionalization presentation

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:

https://poisson.chat/aquarium/defunctionalization-lmf.html

About:

Computer Science

Structures et équations de graphes sourcés : petite largeur arborescente et chemins disjoints

A screenshot of the presentation

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:

https://perso.ens-lyon.fr/samuel.humeau/pages/slides.html

About:

Computer Science