diff --git a/.gitignore b/.gitignore
index 8aef0499..5867a28c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,6 @@ logs/
 
 # Binaries generated in Docker
 node/tools/docker_binaries
+
+# Apalache files
+**/_apalache-out