-
551c3d1efc
Add PyPI package installer, file-tree context menu, and demos UI
main
Jimmy
2026-06-14 22:34:55 +12:00
-
8c45097ec5
Support demos/ in the local-mode workspace client
Jimmy
2026-06-14 22:34:45 +12:00
-
d38f819c49
Add browser_fetch helpers and async HTTP demos for Pyodide
Jimmy
2026-06-14 22:34:34 +12:00
-
98fa4260d4
Relocate bundled demo sources into bundled-demos/demo/
Jimmy
2026-06-14 22:34:17 +12:00
-
e3400120d3
Seed bundled demos under top-level demos/ instead of code/
Jimmy
2026-06-14 22:34:12 +12:00
-
d355174f5a
Mobile UX polish: scrollable column, menu workspace section, pin tap fixes
Jimmy
2026-05-10 07:16:45 +12:00
-
7ee15f8eac
Stop tracking workspace/; bundled-demos/ is the canonical demo source
Jimmy
2026-05-10 06:55:59 +12:00
-
b8d62e01d9
Fix Docker build by relying on committed bundled-demos copies
Jimmy
2026-05-10 06:44:53 +12:00
-
76129469a1
Add 'Reset demos' button to refresh canonical demo files
Jimmy
2026-05-10 06:35:03 +12:00
-
655f8b78fd
Seed pin/ADC/serial demos into new accounts
Jimmy
2026-05-10 06:21:36 +12:00
-
ca0ca6fe7e
Add local-mode workspace, ZIP import/export, and richer pin/ADC/serial sims
Jimmy
2026-05-10 06:16:02 +12:00
-
9f28eabd2d
Rename UI to LED Editor and improve mobile editor layout
Jimmy
2026-05-10 03:16:35 +12:00
-
a2318f2244
Ship MicroPython stubs from repo lib/ and seed workspace lib on startup
Jimmy
2026-05-10 02:59:34 +12:00
-
f7892dd31b
Admin user editing, knight-rider demos, self-contained user seeds
Jimmy
2026-05-10 02:23:53 +12:00
-
b02a182bf1
Ignore per-user workspaces and dev .reload-token
Jimmy
2026-05-10 01:49:50 +12:00
-
687a8347f8
Default per-user main.py; invite-only by default
Jimmy
2026-05-10 01:45:20 +12:00
-
6fc651ad72
Add tutorial route; gate lib workspace for superusers; Py worker v4
jimmy
2026-05-10 01:14:51 +12:00
-
7d682cce8d
Add admin invites and user workspace management tools.
jimmy
2026-05-01 21:13:13 +12:00
-
e4c811f51d
Expand browser editor runtime and LED simulation workflows.
jimmy
2026-05-01 20:24:05 +12:00
-
f204109a84
Add browser Python editor with Pyodide, user auth, and workspace API
jimmy
2026-05-01 14:33:26 +12:00
-
d245ecd353
Initial commit
jimmy
2026-05-01 01:34:55 +00:00