diff --git a/README.md b/README.md
index 34320f71..5ceb2422 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,6 @@
 [![Cryptol](https://github.com/GaloisInc/cryptol/workflows/Cryptol/badge.svg)](https://github.com/GaloisInc/cryptol/actions?query=workflow%3ACryptol)
+[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/GaloisInc/cryptol)
+
 
 # Cryptol, version 2