Add spaces

.github/workflows/sync_to_space.yml

@@ -14,7 +14,8 @@ jobs:
         with:
           fetch-depth: 0
           lfs: true
-      - name: Push to hub
+        
+      - name: Push to Hugging Face
         env:
           HF_TOKEN: ${{ secrets.HF_TOKEN }}
         run: git push https://ayushnoori:$HF_TOKEN@huggingface.co/spaces/ayushnoori/program-synthesis main

README.md

@@ -1,14 +1,3 @@
----
-title: Program Synthesis
-emoji: 🤗
-colorFrom: blue
-colorTo: green
-sdk: streamlit
-sdk_version: 1.19.0
-app_file: app.py
-pinned: false
----
-
 # Bottom-Up Enumerative Program Synthesis
 
 Completed for [CS252R: Program Synthesis](https://synthesis.metareflection.club/) at the Harvard John A. Paulson School of Engineering and Applied Sciences, taught in Fall 2023 by Prof. Nada Amin.

spaces.md

@@ -0,0 +1,10 @@
+---
+title: Program Synthesis
+emoji: 🤗
+colorFrom: blue
+colorTo: green
+sdk: streamlit
+sdk_version: 1.19.0
+app_file: app.py
+pinned: false
+---