marimo-team · Haleshot · Mar 16, 2025 · Mar 14, 2025 · Mar 14, 2025
diff --git a/.github/workflows/hf_sync.yml b/.github/workflows/hf_sync.yml
@@ -0,0 +1,19 @@
+name: Sync to Hugging Face hub
+on:
+  push:
+    branches: [main]
+
+  # to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+jobs:
+  sync-to-hub:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Push to hub
+        env:
+          HF_TOKEN: ${{ secrets.HF_TOKEN }}
+        run: git push https://mylessss:[email protected]/spaces/marimo-team/marimo-learn main
diff --git a/Dockerfile b/Dockerfile
@@ -0,0 +1,13 @@
+FROM ghcr.io/astral-sh/uv:python3.12-bookworm-slim
+
+COPY _server/main.py _server/main.py
+COPY polars/ polars/
+COPY duckdb/ duckdb/
+
+RUN uv venv
+RUN uv export --script _server/main.py | uv pip install -r -
+
+ENV PORT=7860
+EXPOSE 7860
+
+CMD ["uv", "run", "_server/main.py"]
diff --git a/_server/README.md b/_server/README.md
@@ -0,0 +1,21 @@
+# marimo learn server
+
+This folder contains server code for hosting marimo apps.
+
+## Running the server
+
+```bash
+uv run --no-project main.py
+```
+
+## Building a Docker image
+
+```bash
+docker build -t marimo-learn .
+```
+
+## Running the Docker container
+
+```bash
+docker run -p 7860:7860 marimo-learn
+```
diff --git a/_server/main.py b/_server/main.py
@@ -0,0 +1,90 @@
+# /// script
+# requires-python = ">=3.12"
+# dependencies = [
+#     "fastapi",
+#     "marimo",
+#     "starlette",
+#     "python-dotenv",
+#     "pydantic",
+#     "duckdb",
+#     "altair==5.5.0",
+#     "beautifulsoup4==4.13.3",
+#     "httpx==0.28.1",
+#     "marimo",
+#     "nest-asyncio==1.6.0",
+#     "numba==0.61.0",
+#     "numpy==2.1.3",
+#     "polars==1.24.0",
+# ]
+# ///
+
+import logging
+import os
+from pathlib import Path
+
+import marimo
+from dotenv import load_dotenv
+from fastapi import FastAPI, Request
+from fastapi.responses import HTMLResponse
+
+# Load environment variables
+load_dotenv()
+
+# Set up logging
+logging.basicConfig(level=logging.INFO)
+logger = logging.getLogger(__name__)
+
+# Get port from environment variable or use default
+PORT = int(os.environ.get("PORT", 7860))
+
+root_dir = Path(__file__).parent.parent
+
+ROOTS = [
+    root_dir / "polars",
+    root_dir / "duckdb",
+]
+
+
+server = marimo.create_asgi_app(include_code=True)
+app_names: list[str] = []
+
+for root in ROOTS:
+    for filename in root.iterdir():
+        if filename.is_file() and filename.suffix == ".py":
+            app_path = root.stem + "/" + filename.stem
+            server = server.with_app(path=f"/{app_path}", root=str(filename))
+            app_names.append(app_path)
+
+# Create a FastAPI app
+app = FastAPI()
+
+logger.info(f"Mounting {len(app_names)} apps")
+for app_name in app_names:
+    logger.info(f"  /{app_name}")
+
+
+@app.get("/")
+async def home(request: Request):
+    html_content = """
+    <!DOCTYPE html>
+    <html>
+    <head>
+        <title>marimo learn</title>
+    </head>
+    <body>
+        <h1>Welcome to marimo learn!</h1>
+        <p>This is a collection of interactive tutorials for learning data science libraries with marimo.</p>
+        <p>Check out the <a href="https://github.com/marimo-team/learn">GitHub repository</a> for more information.</p>
+    </body>
+    </html>
+    """
+    return HTMLResponse(content=html_content)
+
+
+app.mount("/", server.build())
+
+# Run the server
+if __name__ == "__main__":
+    import uvicorn
+
+    uvicorn.run(app, host="0.0.0.0", port=PORT, log_level="info")