diff --git a/Gemfile b/Gemfile
index 2c93455..30a9f1d 100644
--- a/Gemfile
+++ b/Gemfile
@@ -6,3 +6,11 @@ gem "jekyll-feed"
 gem "jekyll-katex"
 gem "jekyll-minifier"
 gem "jekyll-agda"
+gem "kramdown-parser-gfm"
+gem "execjs"
+gem "uglifier"
+gem "htmlcompressor"
+gem "cssminify2"
+gem "json-minify"
+gem "webrick"
+gem "rouge"