diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 931d502..09370e1 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -1249,6 +1249,17 @@ main = do
     compile: "bsc main.re > main.js",
     run: "NODE_PATH=/usr/lib/node_modules node main.js",
     template: `print_string("Hello, world!\\n")
+`,
+  },
+  redis: {
+    name: "Redis",
+    monacoLang: "redis",
+    repl:
+      "rm -f socket; (redis-server --port 0 --unixsocket socket &); while [[ ! -e socket ]]; do sleep 0.01; done; redis-cli -s socket",
+    main: "main.redis",
+    run:
+      "rm -f socket; (redis-server --port 0 --unixsocket socket &); while [[ ! -e socket ]]; do sleep 0.01; done; redis-cli -s socket < main.redis; redis-cli -s socket",
+    template: `ECHO "Hello, world!"
 `,
   },
   restructuredtext: {
diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index 10e16cb..59a5dfd 100755
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@@ -57,6 +57,9 @@ r-base
 # Racket
 racket
 
+# Redis
+redis
+
 # RISC-V
 gcc-riscv64-linux-gnu
 qemu-user-static