diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..6ef2eb9a
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,15 @@
+[submodule "specifications/azure-cosmos-tla"]
+	path = specifications/azure-cosmos-tla
+	url = https://github.com/tlaplus/azure-cosmos-tla.git
+[submodule "azure-cosmos-tla"]
+	path = azure-cosmos-tla
+	url = https://github.com/tlaplus/azure-cosmos-tla.git
+[submodule "CCF"]
+	path = CCF
+	url = https://github.com/microsoft/CCF.git
+[submodule "BlockingQueue"]
+	path = BlockingQueue
+	url = https://github.com/lemmy/BlockingQueue.git
+[submodule "ewd998"]
+	path = ewd998
+	url = https://github.com/tlaplus-workshops/ewd998/
diff --git a/BlockingQueue b/BlockingQueue
new file mode 160000
index 00000000..a064863f
--- /dev/null
+++ b/BlockingQueue
@@ -0,0 +1 @@
+Subproject commit a064863fd482e2cb15389db48d1a7297a6c30851
diff --git a/CCF b/CCF
new file mode 160000
index 00000000..71194e42
--- /dev/null
+++ b/CCF
@@ -0,0 +1 @@
+Subproject commit 71194e42a0080ae0b332d5cde52856da49502605
diff --git a/azure-cosmos-tla b/azure-cosmos-tla
new file mode 160000
index 00000000..4b8785a3
--- /dev/null
+++ b/azure-cosmos-tla
@@ -0,0 +1 @@
+Subproject commit 4b8785a36ed16faa2cd1bd78b89e224d71711ee3
diff --git a/ewd998 b/ewd998
new file mode 160000
index 00000000..f9475107
--- /dev/null
+++ b/ewd998
@@ -0,0 +1 @@
+Subproject commit f9475107b80d58b3a36cf239e3991a9fa7dcf6bd