Jürgen Fuhrmann j-fu
j-fu
/ plutojs.jl
Created
November 14, 2023 12:51
Test notebook for javscript based graphics in pluto
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.32 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ a5b79b24-82e3-11ee-3de1-03c823a7e0f8 | |
| using PlutoUI | |
| # ╔═╡ 819e486d-c27b-4542-8c1d-8740720e8586 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.29 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859 | |
| begin | |
| using Pkg |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.28 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ e052cc91-ca85-492d-95e2-6b0c707ac859 | |
| begin | |
| import HypertextLiteral: @htl | |
| import AbstractPlutoDingetjes.Display: published_to_js |
j-fu
/ jsxgraph-pluto
Created
November 21, 2022 21:50
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.16 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ bc8cde90-5593-4f54-ada2-a03cd6e35282 | |
| using UUIDs | |
| # ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.11 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ 60941eaa-1aea-11eb-1277-97b991548781 | |
| begin | |
| using PlutoUI | |
| end |
j-fu
/ pluto-single-coinflip.jl
Created
May 2, 2022 16:23
Turing example with updating belief after single coinflip
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.19.3 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ 193f0cae-53a4-48d0-98ed-6eb94aad5712 | |
| begin | |
| using Distributions | |
| using Random |
j-fu
/ gist:03d66b7a48a592516c14001f3f132113
Created
February 9, 2022 22:20
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| _ | |
| _ _ _(_)_ | Documentation: https://docs.julialang.org | |
| (_) | (_) (_) | | |
| _ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help. | |
| | | | | | | |/ _` | | | |
| | | |_| | | | (_| | | Version 1.6.5 (2021-12-19) | |
| _/ |\__'_|_|_|\__'_| | Official https://julialang.org/ release | |
| |__/ | | |
| julia> using TriangularSolve |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| _ | |
| _ _ _(_)_ | Documentation: https://docs.julialang.org | |
| (_) | (_) (_) | | |
| _ _ _| |_ __ _ | Type "?" for help, "]?" for Pkg help. | |
| | | | | | | |/ _` | | | |
| | | |_| | | | (_| | | Version 1.6.5 (2021-12-19) | |
| _/ |\__'_|_|_|\__'_| | Official https://julialang.org/ release | |
| |__/ | | |
| julia> using RecursiveFactorization |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.17.6 | |
| using Markdown | |
| using InteractiveUtils | |
| # ╔═╡ ae2ec8dc-7ad8-11ec-3bd0-63845a1a8b7d | |
| using PlutoUI | |
| # ╔═╡ 42a177a3-19ad-4fbf-8fc5-913e0a669593 |
j-fu
/ publish_to_js_test.jl
Created
December 21, 2021 21:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ### A Pluto.jl notebook ### | |
| # v0.17.3 | |
| using Markdown | |
| using InteractiveUtils | |
| # This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error). | |
| macro bind(def, element) | |
| quote | |
| local iv = try Base.loaded_modules[Base.PkgId(Base.UUID("6e696c72-6542-2067-7265-42206c756150"), "AbstractPlutoDingetjes")].Bonds.initial_value catch; b -> missing; end |