Merge pull request #672 from mistzzt/add-progsyn

add progsyn repository
2024-03-15 23:06:04 +01:00 · 2024-03-15 23:06:04 +01:00 · c75fd09453
commit c75fd09453
parent 4f0465af50 ba552e71c1
1 changed files with 4 additions and 0 deletions
--- 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"