Adding user counting script

Author: SuperFola

.github/workflows/user-count.yml

@@ -0,0 +1,26 @@
+name: Run user-count script daily
+
+on:
+  schedule:
+    - cron: "5 4 * * *"
+
+jobs:
+  report:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: action/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.13'
+      - run: python3 user-count/arkscript-usage.py
+      - name: Commit and push
+        shell: bash
+        run: |
+          git config --unset-all http.https://github.com/.extraheader
+          git config user.name "User count bot"
+          git config user.email ""
+          git config remote.origin.url 'https://${{ secrets.GITHUB_TOKEN }}@github.com/ArkScript-lang/stats.git'
+          git add users.json
+          git commit -m "Update stats"
+          git push -u origin master
+

.gitignore

@@ -0,0 +1,3 @@
+.env
+users.json
+

user-count/arkscript-usage.py

@@ -0,0 +1,40 @@
+import requests
+import dotenv
+import os
+import json
+import datetime
+
+
+dotenv.load_dotenv()
+GITHUB_TOKEN = os.environ.get("GITHUB_TOKEN")
+output = "users.json"
+
+search = "extension:ark let OR MUT NOT repo:ark-lang/ark NOT is:fork"
+url_encoded = search.replace(":", "%3A").replace("*", "%2A").replace("/", "%2F").replace(" ", "+")
+url = f"https://api.github.com/search/code?q={url_encoded}"
+
+response = requests.request("GET", url, headers={'Authorization': f'Token {GITHUB_TOKEN}'})
+data = response.json()
+
+users = set()
+repositories = set()
+
+for item in data['items']:
+    repo = item['repository']
+    users.add(repo['owner']['login'])
+    repositories.add(repo['full_name'])
+
+if os.path.exists(output):
+    with open(output) as f:
+        data = json.loads(f.read())
+else:
+    data = {}
+
+data[datetime.datetime.now().strftime("%Y-%m-%d")] = {
+    'users': len(users),
+    'repositories': len(repositories)
+}
+
+with open(output, 'w') as f:
+    f.write(json.dumps(data))
+