Deploying to gh-pages from @ 8d2a506 🚀

UniStuttgart-IKR · Jan 11, 2024 · 43d2dd0 · 43d2dd0
commit 43d2dd0
Show file tree

Hide file tree

Showing 23 changed files with 4,404 additions and 0 deletions.
diff --git a/Manifest.toml b/Manifest.toml
diff --git a/Project.toml b/Project.toml
@@ -0,0 +1,31 @@
+[deps]
+AttributeGraphs = "d091dd56-f8c5-469d-b7f7-ff847498145f"
+CairoMakie = "13f3f980-e62b-5c42-98c6-ff1f3baf88f0"
+DiscreteEvents = "127e53a7-d08a-4bd9-afb0-daf0d2b65a85"
+Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
+GraphIO = "aa1b3936-2fda-51b9-ab35-c553d3a640a2"
+GraphMakie = "1ecd5474-83a3-4783-bb4f-06765db800d2"
+Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
+HypertextLiteral = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
+Logging = "56ddb016-857b-54e1-b83d-db4d58db5568"
+MINDFul = "437ce7a4-cd80-4539-9a29-b274cfe157d6"
+MINDFulCompanion = "51b1db7e-1a2e-4318-af53-61c13e101964"
+MINDFulMakie = "23b02573-35f2-499b-a490-fd32d1f018b6"
+MINDFulPlutoGUI = "2169b6f5-785b-460d-ad6a-2192ac02d426"
+MetaGraphs = "626554b9-1ddb-594c-aa3c-2596fe9399a5"
+NestedGraphMakie = "6f6f4c20-e954-4c6d-a185-c2fbf890196e"
+NestedGraphs = "03c36417-ddab-428a-818d-5359aee292ef"
+NestedGraphsIO = "4bcdce80-1129-4e34-b1b9-f101712b434d"
+Pluto = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
+PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
+Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
+Revise = "295af30f-e4ad-537b-8983-00126c2a3abe"
+StatsBase = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91"
+Unitful = "1986cc42-f94f-5a68-af5c-568840ba703d"
+WGLMakie = "276b4fcb-3e11-5398-bf8b-a0c2d153d008"
+
+[compat]
+GraphMakie = "0.5.5"
+MINDFul = "0.2"
+NestedGraphMakie = "0.1"
+julia = "1.9, 1.10"
diff --git a/README.md b/README.md
@@ -0,0 +1,18 @@
+# MINDFulNotebookExamples
+
+This is a repository containing some notebook examples for [MINDFul.jl](https://github.com/UniStuttgart-IKR/MINDFul.jl)
+
+See the github pages deployment of this repository:
+
+https://unistuttgart-ikr.github.io/MINDFulNotebookExamples.jl/
+
+`Manifest.toml` is checked in since some still unregistered repositories are required:
+- MINDFulCompanion
+  - still unregisted 
+- NestedGraphsIO https://github.com/UniStuttgart-IKR/NestedGraphsIO.jl#main
+  - will eventually be integrated in GraphIO.jl https://github.com/JuliaGraphs/GraphIO.jl/pull/55
+
+You can `Pkg.update()` to update the environment to the latest versions.
+With time, the `Manifest.toml` will not be needed, either because everything will be in the public registry or because of https://github.com/JuliaLang/Pkg.jl/issues/492.
+
+To run the notebooks, clone this repository (to retrieve the environemnt), start Pluto.jl from your general environment, and then open the notebooks.
diff --git a/data/4nets.graphml b/data/4nets.graphml
diff --git a/data/tsparticlesconfig.js b/data/tsparticlesconfig.js
@@ -0,0 +1,203 @@
+// @path-json can be an object or an array, the first will be loaded directly, and the object from the array will be randomly selected
+/* tsParticles.load(@params); */
+
+
+// (async () => {
+//     await loadTrianglesPreset(tsParticles); // this is required only if you are not using the bundle script
+//
+//     await tsParticles.load("tsparticles", {
+//         particles: {
+//             shape: {
+//                 type: "square", // starting from v2, this require the square shape script
+//             },
+//
+//         },
+//
+//
+//         preset: "triangles",
+//     });
+// })();
+
+
+(async () => {
+    await loadLinksPreset(tsParticles); // this is required only if you are not using the bundle script
+
+    await tsParticles.load("tsparticles", {
+        fullScreen: {
+            enable: true,
+            zIndex: -10
+        },
+        particles: {
+            number: {
+                density: {
+                    enable: true,
+                    width: 1920,
+                    height: 1080
+                },
+                "limit": 0,
+                "value": 100
+            },
+            size: {
+                value: 4,
+            },
+            opacity: {
+                random: {
+                    enable: true,
+                    minimumValue: 0.3
+                },
+                value: {
+                    min: 0.3,
+                    max: 0.8
+                },
+                animation: {
+                    count: 0,
+                    enable: true,
+                    speed: 0.5,
+                    decay: 0,
+                    delay: 0,
+                    sync: false,
+                    mode: "auto",
+                    startValue: "random",
+                    destroy: "none",
+                    minimumValue: 0.3
+                }
+            },
+            color: {
+                value: "#f399ff",
+            },
+            links: {
+                color: "#f399ff",
+                distance: 200,
+                enable: true,
+                opacity: 0.8,
+                width: 2,
+
+            },
+
+            move: {
+                angle: {
+                    offset: 0,
+                    value: 90
+                },
+                attract: {
+                    distance: 200,
+                    enable: true,
+                    rotate: {
+                        x: 3000,
+                        y: 3000
+                    }
+                },
+                center: {
+                    x: 50,
+                    y: 50,
+                    mode: "percent",
+                    radius: 0
+                },
+                decay: 0,
+                distance: {},
+                direction: "none",
+                drift: 0,
+                enable: true,
+                gravity: {
+                    acceleration: 9.81,
+                    enable: false,
+                    inverse: false,
+                    maxSpeed: 50
+                },
+                path: {
+                    clamp: true,
+                    delay: {
+                        random: {
+                            enable: false,
+                            minimumValue: 0
+                        },
+                        value: 0
+                    },
+                    enable: false,
+                    options: {}
+                },
+                outModes: {
+                    default: "out",
+                    bottom: "out",
+                    left: "out",
+                    right: "out",
+                    top: "out"
+                },
+                random: false,
+                size: false,
+                speed: 2,
+                spin: {
+                    acceleration: 0,
+                    enable: false
+                },
+                straight: false,
+                trail: {
+                    enable: false,
+                    length: 10,
+                    fill: {}
+                },
+                vibrate: false,
+                warp: false
+            }
+
+        },
+
+        interactivity: {
+            detectsOn: "window",
+            events: {
+                onHover: {
+                    enable: true,
+                    mode: "grab",
+                    parallax: {
+                        enable: true,
+                        force: 2,
+                        smooth: 10
+                    }
+                }
+            },
+            modes: {
+                grab: {
+                    distance: 150,
+                    links: {
+                        blink: false,
+                        consent: false,
+                        opacity: 1
+                    }
+                },
+            }
+        },
+        preset: "links",
+    });
+})();
+
+// (async () => {
+//     await tsParticles.load({
+//         id: "tsparticles",
+//         url: "static/index/particles.json",
+//     });
+// })();
+
+
+//the second one
+// Important! If the index is not in range 0...<array.length, the index will be ignored.
+
+// after initialization this can be used.
+
+/* tsParticles.setOnClickHandler(@callback); */
+
+/* this will be fired from all particles loaded */
+
+// tsParticles.setOnClickHandler((event, particles) => {
+//     /* custom on click handler */
+// });
+
+// now you can control the animations too, it's possible to pause and resume the animations
+// these methods don't change the config so you're safe with all your configurations
+// domItem(0) returns the first tsParticles instance loaded in the dom
+const particles = tsParticles.domItem(0);
+
+// play will start the animations, if the move is not enabled it won't enable it, it just updates the frame
+particles.play();
+
+// pause will stop the animations
+particles.pause();
diff --git a/index.html b/index.html
@@ -0,0 +1,23 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="utf-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1">
+
+    <style>
+    body {
+        font-family: sans-serif;
+    }
+    </style>
+
+    <link rel="stylesheet" href="index.css">
+    <script src="index.js" type="module" defer></script>
+</head>  
+<body>
+    <h1>Notebooks</h1>
+
+    <ul>
+    <li><a href="simplenotebookexample.html">simplenotebookexample</a></li><li><a href="simpleeventbased.html">simpleeventbased</a></li><li><a href="notebook.html">notebook</a></li><li><a href="intentDAGinMD.html">intentDAGinMD</a></li>
+    </ul>
+</body>
+</html>
diff --git a/intentDAGinMD.html b/intentDAGinMD.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html><html lang="en"><head><meta name="viewport" content="width=device-width"><meta charset="utf-8"><meta property='og:type' content='article'>
+
+<meta name="pluto-insertion-spot-meta">
+<meta name="theme-color" media="(prefers-color-scheme: light)" content="white"><meta name="theme-color" media="(prefers-color-scheme: dark)" content="#2a2928"><meta name="color-scheme" content="light dark"><link rel="icon" type="image/png" sizes="16x16" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-16x16.347d2855.png" integrity="sha384-3qsGeVLdddzV9oIkj3PhXXQX2CZCjOD/CiyrPQOX6InOWw3HAHClrsQhPfX9uRAj" crossorigin="anonymous"><link rel="icon" type="image/png" sizes="32x32" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-32x32.8789add4.png" integrity="sha384-cOe5vSoBIgKNgkUL27p9RpsGVY0uBg9PejLccDy+fR8ZD1Iv5dF1MGHjIZAIZwm6" crossorigin="anonymous"><link rel="icon" type="image/png" sizes="96x96" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon-96x96.48689391.png" integrity="sha384-TN49cYb8GyNmrZT14bsYXXo4l1x1NJeJ/EHuVAauAKsNPopPHLojijs9jFT4Vs8c" crossorigin="anonymous"><link rel="pluto-logo-big" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/logo.004c1d7c.svg" integrity="sha384-GkQkODcGxsrSRJCkeakBXihum0GUM44cwBgKyutDimectXCbCgj6Vu3jlrueqEcN" crossorigin="anonymous"><link rel="pluto-logo-small" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/favicon_unsaturated.d1387b25.svg" integrity="sha384-omwjH+Qy3hpAVf5FYd/pkaDBuVAfsEDRN7eBxEA8Ek00OAWP+aiV+GpEYk3I7lyo" crossorigin="anonymous"><script type="module" src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.23f324ce.js" integrity="sha384-4l9NNFe3thsPdrGcAdnBEfNmojvUidAN6OBuPDii3JDkVIF5TMXkICWqHEsh8sXq" crossorigin="anonymous"></script><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/juliamono.c6034ab4.css" integrity="sha384-n0za6lUXlyf4XC+nGkZWj3TLDnRbNpAcoi4PZGSlQMPoyqGa9kGY+ZXkUgZGIhQt" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.c98fb036.css" integrity="sha384-hq2r9iSY9J+3FSHCB6PZ5jTCnnhSL7DhUmwTXDjMmklxEsQ+2YHWCS7Cm0i5Y/rT" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/vollkorn.089565a8.css" integrity="sha384-jnV/84VtSgBLF70H+s2rxJcOUZIMDR+X/ElFZA83i9ZtZSWiIMFAgPyrWkOJV08q" crossorigin="anonymous"><script defer="">console.log("Pluto.jl, by Fons van der Plas (https://github.com/fonsp), Mikołaj Bochenski (https://github.com/malyvsen), Michiel Dral (https://github.com/dralletje) and friends 🌈");</script><script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.b8733d72.js" defer="" integrity="sha384-84yPd6AGZ/1IUiaBlssipmMKMFz9WGFQ+u8vYZ9cWicH6bZm7ZOej+kLDXnIIAQJ" crossorigin="anonymous"></script><script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.9f9dc874.js" defer="" integrity="sha384-tkFo1EK72I9JvoTmHFa199dfRzW8mkXPUkHb/N7UhYI+bxKzX3Kh8LNCZz1ltsFF" crossorigin="anonymous"></script><script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.90ede145.js" defer="" integrity="sha384-CuNU9gQg6fa/yynNqNWjHWzPm4nj+d7O6+HXsNGSqClhs/bYQIbBC3Lw/kh8Ukui" crossorigin="anonymous"></script><script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.dbeed08a.js" defer="" integrity="sha384-1BEdQwXfZi4ZpsNV8w1X8pQcVK1/DS/+/M8OTo3gol7mdEspSN7nT6llX57NQCSt" crossorigin="anonymous"></script><script id="iframe-resizer-content-window-script" src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.6386bd9d.js" crossorigin="anonymous" defer="" integrity="sha384-tgN2a0VDi/lCYwZuDqT7L+A/Y/9kpxf3HV7zv2BJ5Fu7zW0EClq0nM4crfK3TRPs"></script><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.2dae1b31.css" type="text/css" integrity="sha384-Tcw0GaMme/KbluiF6zJjOMqdXU+GeDMSRoX0MhIH0cfyRAO7XQQWWwfsJY7Wx2yK" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.82b535be.css" type="text/css" media="all" data-pluto-file="hide-ui" integrity="sha384-oYS1v2EOz2AtXoLXUVgvn3mEtQdJg1mfwZwLfJi++UQyF/qo43KuvjZ603iShU3X" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.ec3a6a5b.css" type="text/css" integrity="sha384-SuGFZkuBuG+lmfz6RbnvjtcyIh8W1xDYi1sebwn7bl9VMQnhmr6EniSmIdcHJ55l" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.1f4cf2ca.css" type="text/css" integrity="sha384-lBSBsn8FT1UzGOsNVudfV8RSHQEuNWqrCb6xQnF10uvF9AiCzYsCRXvKlhtQvV3c" crossorigin="anonymous"><link rel="preload" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/juliamono.c6034ab4.css" as="style" integrity="sha384-n0za6lUXlyf4XC+nGkZWj3TLDnRbNpAcoi4PZGSlQMPoyqGa9kGY+ZXkUgZGIhQt" crossorigin="anonymous"><link rel="preload" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/vollkorn.089565a8.css" as="style" integrity="sha384-jnV/84VtSgBLF70H+s2rxJcOUZIMDR+X/ElFZA83i9ZtZSWiIMFAgPyrWkOJV08q" crossorigin="anonymous"><link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.e82e08bd.css" type="text/css" integrity="sha384-7YN+h8b6N4N65qk8TG/J2KPF95D8z3sGNd06rokz4CX9oWu0KnRAF5cVWu3BkkaN" crossorigin="anonymous"><script data-pluto-file="launch-parameters">
+window.pluto_notebook_id = undefined;
+window.pluto_isolated_cell_ids = undefined;
+window.pluto_notebookfile = "intentDAGinMD.jl";
+window.pluto_disable_ui = true;
+window.pluto_slider_server_url = undefined;
+window.pluto_binder_url = "https://mybinder.org/v2/gh/fonsp/pluto-on-binder/v0.19.36";
+window.pluto_statefile = "intentDAGinMD.plutostate";
+window.pluto_preamble_html = undefined;
+</script>
+
+<meta name="pluto-insertion-spot-parameters">
+<script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.c69300f2.js" type="module" defer="" integrity="sha384-sLMlcWvt4TmaGbLLnhN9nz+JY2xsbCeklFggrWNJ4zBrwPosiufyTbUD6aYbHgE4" crossorigin="anonymous"></script><script src="https://cdn.jsdelivr.net/gh/fonsp/[email protected]/frontend-dist/editor.8a3292da.js" integrity="sha384-itp4oE2PRbSrrTHVpWh8sqAuVUsz7ja6L2Dgp/JRfMCD2AwVdTk56K96POF3oLmu" crossorigin="anonymous"></script><script type="text/javascript" id="MathJax-script" integrity="sha384-4kE/rQ11E8xT9QgrCBTyvenkuPfQo8rXYQvJZuMgxyPOoUfpatjQPlgdv6V5yhUK" crossorigin="" not-the-src-yet="https://cdn.jsdelivr.net/npm/[email protected]/es5/tex-svg-full.js" async=""></script></head><body class="loading no-MαθJax"> <div style="display:flex;min-height:100vh;"> <pluto-editor class="fullscreen"></pluto-editor> </div> </body></html>