Spaces:
Sleeping
Sleeping
chore: marimo learn HuggingFace gallery
Browse files- .github/workflows/hf_sync.yml +19 -0
- Dockerfile +13 -0
- _server/README.md +21 -0
- _server/main.py +79 -0
.github/workflows/hf_sync.yml
ADDED
|
@@ -0,0 +1,19 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
name: Sync to Hugging Face hub
|
| 2 |
+
on:
|
| 3 |
+
push:
|
| 4 |
+
branches: [main]
|
| 5 |
+
|
| 6 |
+
# to run this workflow manually from the Actions tab
|
| 7 |
+
workflow_dispatch:
|
| 8 |
+
|
| 9 |
+
jobs:
|
| 10 |
+
sync-to-hub:
|
| 11 |
+
runs-on: ubuntu-latest
|
| 12 |
+
steps:
|
| 13 |
+
- uses: actions/checkout@v4
|
| 14 |
+
with:
|
| 15 |
+
fetch-depth: 0
|
| 16 |
+
- name: Push to hub
|
| 17 |
+
env:
|
| 18 |
+
HF_TOKEN: ${{ secrets.HF_TOKEN }}
|
| 19 |
+
run: git push https://mylessss:[email protected]/spaces/marimo-team/marimo-learn main
|
Dockerfile
ADDED
|
@@ -0,0 +1,13 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
FROM ghcr.io/astral-sh/uv:python3.12-bookworm-slim
|
| 2 |
+
|
| 3 |
+
COPY _server/main.py _server/main.py
|
| 4 |
+
COPY polars/ polars/
|
| 5 |
+
COPY duckdb/ duckdb/
|
| 6 |
+
|
| 7 |
+
RUN uv venv
|
| 8 |
+
RUN uv export --script _server/main.py | uv pip install -r -
|
| 9 |
+
|
| 10 |
+
ENV PORT=8000
|
| 11 |
+
EXPOSE 8000
|
| 12 |
+
|
| 13 |
+
CMD ["uv", "run", "_server/main.py"]
|
_server/README.md
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# marimo learn server
|
| 2 |
+
|
| 3 |
+
This folder contains server code for hosting marimo apps.
|
| 4 |
+
|
| 5 |
+
## Running the server
|
| 6 |
+
|
| 7 |
+
```bash
|
| 8 |
+
uv run --no-project main.py
|
| 9 |
+
```
|
| 10 |
+
|
| 11 |
+
## Building a Docker image
|
| 12 |
+
|
| 13 |
+
```bash
|
| 14 |
+
docker build -t marimo-learn .
|
| 15 |
+
```
|
| 16 |
+
|
| 17 |
+
## Running the Docker container
|
| 18 |
+
|
| 19 |
+
```bash
|
| 20 |
+
docker run -p 8000:8000 marimo-learn
|
| 21 |
+
```
|
_server/main.py
ADDED
|
@@ -0,0 +1,79 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# /// script
|
| 2 |
+
# requires-python = ">=3.12"
|
| 3 |
+
# dependencies = [
|
| 4 |
+
# "fastapi",
|
| 5 |
+
# "marimo",
|
| 6 |
+
# "starlette",
|
| 7 |
+
# "python-dotenv",
|
| 8 |
+
# "pydantic",
|
| 9 |
+
# "polars",
|
| 10 |
+
# "duckdb",
|
| 11 |
+
# ]
|
| 12 |
+
# ///
|
| 13 |
+
|
| 14 |
+
import logging
|
| 15 |
+
from pathlib import Path
|
| 16 |
+
|
| 17 |
+
import marimo
|
| 18 |
+
from dotenv import load_dotenv
|
| 19 |
+
from fastapi import FastAPI, Request
|
| 20 |
+
from fastapi.responses import HTMLResponse
|
| 21 |
+
|
| 22 |
+
# Load environment variables
|
| 23 |
+
load_dotenv()
|
| 24 |
+
|
| 25 |
+
# Set up logging
|
| 26 |
+
logging.basicConfig(level=logging.INFO)
|
| 27 |
+
logger = logging.getLogger(__name__)
|
| 28 |
+
|
| 29 |
+
root_dir = Path(__file__).parent.parent
|
| 30 |
+
|
| 31 |
+
ROOTS = [
|
| 32 |
+
root_dir / "polars",
|
| 33 |
+
root_dir / "duckdb",
|
| 34 |
+
]
|
| 35 |
+
|
| 36 |
+
|
| 37 |
+
server = marimo.create_asgi_app(include_code=True)
|
| 38 |
+
app_names: list[str] = []
|
| 39 |
+
|
| 40 |
+
for root in ROOTS:
|
| 41 |
+
for filename in root.iterdir():
|
| 42 |
+
if filename.is_file() and filename.suffix == ".py":
|
| 43 |
+
app_path = root.stem + "/" + filename.stem
|
| 44 |
+
server = server.with_app(path=f"/{app_path}", root=str(filename))
|
| 45 |
+
app_names.append(app_path)
|
| 46 |
+
|
| 47 |
+
# Create a FastAPI app
|
| 48 |
+
app = FastAPI()
|
| 49 |
+
|
| 50 |
+
logger.info(f"Mounting {len(app_names)} apps")
|
| 51 |
+
for app_name in app_names:
|
| 52 |
+
logger.info(f" /{app_name}")
|
| 53 |
+
|
| 54 |
+
|
| 55 |
+
@app.get("/")
|
| 56 |
+
async def home(request: Request):
|
| 57 |
+
html_content = """
|
| 58 |
+
<!DOCTYPE html>
|
| 59 |
+
<html>
|
| 60 |
+
<head>
|
| 61 |
+
<title>marimo learn</title>
|
| 62 |
+
</head>
|
| 63 |
+
<body>
|
| 64 |
+
<h1>Welcome to marimo learn!</h1>
|
| 65 |
+
<p>This is a collection of interactive tutorials for learning data science libraries with marimo.</p>
|
| 66 |
+
<p>Check out the <a href="https://github.com/marimo-team/learn">GitHub repository</a> for more information.</p>
|
| 67 |
+
</body>
|
| 68 |
+
</html>
|
| 69 |
+
"""
|
| 70 |
+
return HTMLResponse(content=html_content)
|
| 71 |
+
|
| 72 |
+
|
| 73 |
+
app.mount("/", server.build())
|
| 74 |
+
|
| 75 |
+
# Run the server
|
| 76 |
+
if __name__ == "__main__":
|
| 77 |
+
import uvicorn
|
| 78 |
+
|
| 79 |
+
uvicorn.run(app, host="0.0.0.0", port=8000, log_level="info")
|