add binder enviroment

DJ4Earth · Jun 26, 2024 · 3d6da57 · 3d6da57
1 parent f4b835f
commit 3d6da57
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/.binder/Project.toml b/.binder/Project.toml
@@ -0,0 +1,7 @@
+[deps]
+Enzyme = "7da242da-08ed-463a-9acd-ee780be4f1d9"
+Pluto = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
+PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
+
+[compat]
+julia = 1.10
diff --git a/.binder/environment.yml b/.binder/environment.yml
@@ -0,0 +1,10 @@
+# environment.yml from https://discourse.jupyter.org/t/jupyter-webio-in-binder/14476/5
+channels:
+  - conda-forge
+  - nodefaults
+dependencies:
+  - jupyterlab >=3.1,<4 # the docs specify this, but the metadata doesn't
+  - plotly              
+  - webio-jupyter-extension
+  - nbgitpuller
+  - jupyter-pluto-proxy