diff --git a/docs/PROJECTS.md b/docs/PROJECTS.md
index 58f6c90135..7292150c46 100644
--- a/docs/PROJECTS.md
+++ b/docs/PROJECTS.md
@@ -4,6 +4,8 @@ Here is a list of projects that use the agda-unimath library:
 
 - <https://git.app.uib.no/hott/hott-set-theory>
 - <https://git.app.uib.no/hott/containers>
+- <https://vojtechstep.eu/archive/hp-agda-unimath>
+- <https://spcfox.github.io/agda-unimath/>
 
 If your project uses the agda-unimath library, let us know, so we can add your
 project to the list.