diff --git a/repos.json b/repos.json
index 74482f498..fa18f6be7 100644
--- a/repos.json
+++ b/repos.json
@@ -1062,6 +1062,10 @@
             "github-contact": "UnidealisticRaccoon",
             "url": "https://github.com/UnidealisticRaccoon/SnowyBurrow"
         },
+        "progsyn": {
+            "github-contact": "mistzzt",
+            "url": "https://github.com/mistzzt/program-synthesis-nur"
+        },
         "pschuprikov": {
             "github-contact": "pschuprikov",
             "url": "https://github.com/pschuprikov/nur-packages"