diff --git a/repos.json b/repos.json
index aa4a89407..b9381f6d1 100644
--- a/repos.json
+++ b/repos.json
@@ -1066,6 +1066,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"