diff --git a/README.md b/README.md
index 059311d..e49f1d8 100644
--- a/README.md
+++ b/README.md
@@ -65,6 +65,17 @@ If you have already followed the steps above, and want to get the latest exercis
 
 You can temporarily use Codespaces or Gitpod if you have trouble installing Lean locally.
 
+#### 🌏  Open in other Cloud IDES
+
+Click any of the buttons below to start a new development environment to demo or contribute to the codebase without having to install anything on your machine:
+
+[![Open in Glitch](https://img.shields.io/badge/Open%20in-Glitch-blue?logo=glitch)](https://glitch.com/edit/#!/import/github/fpvandoorn/LeanCourse23)
+[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/fpvandoorn/LeanCourse23)
+[![Edit in Codesandbox](https://codesandbox.io/static/img/play-codesandbox.svg)](https://codesandbox.io/s/github/fpvandoorn/LeanCourse23)
+[![Open in Repl.it](https://replit.com/badge/github/withastro/astro)](https://replit.com/github/fpvandoorn/LeanCourse23)
+[![Open in Codeanywhere](https://codeanywhere.com/img/open-in-codeanywhere-btn.svg)](https://app.codeanywhere.com/#https://github.com/fpvandoorn/LeanCourse23)
+[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/fpvandoorn/LeanCourse23)
+
 ### Using Codespaces
 
 You can temporarily play with Lean using Github codespaces. This requires a Github account, and you can only use it for a limited amount of time each month. If you are signed in to Github, click here: