An educational conditional restart library used for the German blog post https://funktionale-programmierung.de/2020/04/24/conditional-restarts.html
The blog post contains code samples as well a comprehensive guide about how conditional restarts can be utilized.