generated from JuliaPluto/computational-thinking-template
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
58da65c
commit 56651b4
Showing
45 changed files
with
375 additions
and
491 deletions.
There are no files selected for viewing
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1 @@ | ||
| <h1 align="center"> | ||
| Computer-assisted proofs in nonlinear analysis | ||
| </h1> | ||
|
|
||
| [Course website](https://olivierhnt.github.io/Computer-assisted-proofs-in-nonlinear-analysis/) | ||
| Website: https://olivierhnt.github.io/Computer-assisted-proofs-in-nonlinear-analysis/ |
This file was deleted.
Oops, something went wrong.
This file contains 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
This file contains 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
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,32 +1,17 @@ | ||
| Dict( | ||
| "title" => @htl("<strong>Computer-assisted proofs in nonlinear analysis</strong>"), | ||
| "title" => @htl("Computer-assisted proofs in nonlinear analysis"), | ||
|
|
||
| # "disclaimer" => md""" | ||
| # """, | ||
| # "disclaimer" => md""" | ||
| # """, | ||
|
|
||
| "highlights" => [ | ||
| Dict("name" => "Easy to customise", | ||
| "text" => md"Let the template automate all of the website development and infrastructure, so that you can focus on the most important thing: | ||
| **easily develop your lesson materials!**", | ||
| "img" => "https://user-images.githubusercontent.com/6933510/168320383-a401459b-97f5-41df-bc7b-ebe76e4886cc.png" | ||
| ), | ||
| Dict("name" => "Revolutionary interactivity with Pluto.jl", | ||
| "text" => md""" | ||
| Thanks to Pluto.jl, the website is built using real code, and instead of a book, we have a series of interactive notebooks. | ||
| **On the website, students can play with sliders, buttons and images to interact with our simulations.** | ||
| You can even go further, and modify and run any code on our website! | ||
| """, | ||
| "img" => "https://user-images.githubusercontent.com/6933510/136196607-16207911-53be-4abb-b90e-d46c946e6aaf.gif" | ||
| ), | ||
| Dict("name" => "Learn Julia", | ||
| "text" => md""" | ||
| In literature it's not enough to just know the technicalities of grammar. | ||
| In music it's not enough to learn the scales. The goal is to communicate experiences and emotions. | ||
| For a computer scientist, it's not enough to write a working program, | ||
| the program should be written with beautiful high level abstractions that speak to your audience. | ||
| **Julia is designed with this purpose in mind, use it in your teaching to harness its power.** | ||
| """, | ||
| "img" => "https://user-images.githubusercontent.com/6933510/136203632-29ce0a96-5a34-46ad-a996-de55b3bcd380.png" | ||
| ) | ||
| ] | ||
| # "highlights" => [ | ||
| # Dict("name" => "Module 1", | ||
| # "text" => md"finite dim.", | ||
| # "img" => "../assets/homepage/cap.png" | ||
| # ), | ||
| # Dict("name" => "Module 2", | ||
| # "text" => md"infinite dim.", | ||
| # "img" => "../assets/homepage/cap.png" | ||
| # ) | ||
| # ] | ||
| ) |
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,5 +1,5 @@ | ||
| [ | ||
| "welcome" => "Overview", | ||
| "module1" => "Module 1: Finite dimensional problems", | ||
| "module2" => "Module 2: Infinite dimensional problems" | ||
| "welcome" => "", | ||
| "module1" => "Module 1", | ||
| "module2" => "Module 2" | ||
| ] |
This file was deleted.
Oops, something went wrong.
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -47,15 +47,10 @@ end) | |
|
|
||
| <link rel="pp-search-data" href="$(root_url)/pp_search_data.json" /> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/lunr.min.js" integrity="sha256-DFDZACuFeAqEKv/7Vnu1Tt5ALa58bcWZegGGFNgET8g=" crossorigin="anonymous" defer></script> | ||
| <script src="$(root_url)/assets/scripts/search.js" type="module" defer></script> | ||
|
|
||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/src/lite-yt-embed.js" integrity="sha256-sDRYYtDc+jNi2rrJPUS5kGxXXMlmnOSCq5ek5tYAk/M=" crossorigin="anonymous" defer></script> | ||
| <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/src/lite-yt-embed.css" integrity="sha256-lv6SEl7Dhri7d86yiHCTuSWFb9CYROQFewxZ7Je0n5k=" crossorigin="anonymous"> | ||
|
|
||
| <script defer src='https://static.cloudflareinsights.com/beacon.min.js' data-cf-beacon='{"token": "8572a580bead4b729ad55779ba3a1cd6"}'></script> | ||
|
|
||
| <script data-goatcounter="https://computationalthinking-stats.plutojl.org/count" async src="//computationalthinking-stats.plutojl.org/count.js"></script> | ||
|
|
||
| $(pluto_head) | ||
|
|
||
| </head> | ||
|
|
@@ -81,34 +76,12 @@ $(pluto_head) | |
| end) | ||
| </div> | ||
| </li> | ||
| <li> | ||
| <div class="search-bar"> | ||
| <form action="$(root_url)/search" method="GET"> | ||
| <input type="search" name="q" placeholder="Search..."> | ||
| <input type=submit value="🔎"> | ||
| </form> | ||
| </div> | ||
| </li> | ||
| <li> | ||
| <div class="track-chooser"> | ||
| <label> | ||
| <h2>Choose your track:</h2> | ||
| <select> | ||
| <option value="">Choose...</option> | ||
| $([ | ||
| @htl("""<option value="$track_id">$track_name</option> """) | ||
| for (track_id, track_name) in metadata["tracks"] | ||
| ]) | ||
| </select> | ||
| </label> | ||
| </div> | ||
| </li> | ||
| $(let | ||
| sections = metadata["sidebar"] | ||
| [ | ||
| @htl(""" | ||
| <li> | ||
| <h3>$(section_name)</h3> | ||
| <h3 style="cursor: default">$(section_name)</h3> | ||
| <ul> | ||
| $([ | ||
| let | ||
|
|
@@ -148,18 +121,18 @@ $(pluto_head) | |
| <li><hr></li> | ||
| <li class="sidebar-about"> | ||
| <div class="semester-details"> | ||
| <a href="$(root_url)/semesters/">$(metadata["course_info"]["semester"])</a> | ||
| <a style="cursor: default">$(metadata["course_info"]["semester"])</a> | ||
| <div class="course-numbers"><span>$(metadata["course_info"]["code"])</span></div> | ||
| </div> | ||
| <div class="logos"> | ||
| <!-- <div class="logos"> | ||
| <picture title="$(metadata["course_info"]["institution"])"> | ||
| <img src="$(root_url)/assets/$(metadata["course_info"]["institution_logo"])"> | ||
| </picture> | ||
| <picture title="Julia Programming Language"> | ||
| <source srcset="$(root_url)/assets/julia-logo-dark.svg" media="(prefers-color-scheme: dark)" /> | ||
| <img src="$(root_url)/assets/julia-logo-color.svg"> | ||
| </picture> | ||
| </div> | ||
| </div> --> | ||
| </li> | ||
| </ul> | ||
| </div> | ||
|
|
||
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -2,7 +2,7 @@ | |
| layout: "layout.jlhtml" | ||
| --- | ||
|
|
||
| <link rel="stylesheet" href="$(root_url)/assets/styles/homepage.css" type="text/css" /> | ||
| <link rel="stylesheet" href="$(root_url)/assets/styles/homepage.css" type="text/css"/> | ||
|
|
||
| <div id="title" class="banner"> | ||
| <h1>$(metadata["homepage"]["title"])</h1> | ||
|
|
@@ -14,9 +14,9 @@ $(isempty(get(metadata["homepage"], "disclaimer", "")) ? nothing : @htl("""<bloc | |
| $(Base.include(@__MODULE__, joinpath(@__DIR__, "..", "assets", "scripts", "get_highlights.jl"))) | ||
| </main> | ||
|
|
||
| <div class="page-foot"> | ||
| <!-- <div class="page-foot"> | ||
| <div class="copyright"> | ||
| <a href="$(metadata["course_info"]["repo"])"><b>Edit this page on <img class="github-logo" src="https://unpkg.com/[email protected]/dist/svg/logo-github.svg"></b></a><br> | ||
| Website built with <a href="https://plutojl.org/">Pluto.jl</a> and the <a href="https://julialang.org">Julia programming language</a>. | ||
| </div> | ||
| </div> | ||
| </div> --> | ||
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,28 @@ | ||
| --- | ||
| layout: "welcome_layout.jlhtml" | ||
| --- | ||
|
|
||
| <link rel="stylesheet" href="$(root_url)/assets/styles/homepage.css" type="text/css" /> | ||
|
|
||
|
|
||
|
|
||
| <!-- $(isempty(get(metadata["homepage"], "disclaimer", "")) ? nothing : @htl("""<blockquote class="banner"><p>$(metadata["homepage"]["disclaimer"])</p></blockquote>""")) --> | ||
|
|
||
| <div class="container"> | ||
| <a href="./mod1/mod1/" class="half left"><div class="panel-text">Finite dimensions</div></a> | ||
| <div class="middle-text"> | ||
| <h1> | ||
| <!-- <p align="left">COMPUTER-ASSISTED PROOFS</p> | ||
| <p style="text-align: left; text-indent: 64px;">IN</p> | ||
| <p align="right">NONLINEAR ANALYSIS</p> --> | ||
| <p align="left">COMPUTER-ASSISTED PROOFS</p> | ||
| <p align="left">IN NONLINEAR ANALYSIS</p> | ||
| </h1> | ||
| </div> | ||
| <a href="./mod2/mod2/" class="half right"><div class="panel-text">Infinite dimensions</div></a> | ||
| </div> | ||
|
|
||
| <!-- | ||
| <main class="homepage"> | ||
| $(Base.include(@__MODULE__, joinpath(@__DIR__, "..", "assets", "scripts", "get_subjects.jl"))) | ||
| </main> --> |
This file contains 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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,63 @@ | ||
| $(begin | ||
| import Pluto | ||
| "The contents of `<head>` from a Pluto HTML export." | ||
| const pluto_head = let | ||
| default = Pluto.generate_html(; | ||
| pluto_cdn_root=Pluto.PLUTO_VERSION < v"0.19" ? "https://cdn.jsdelivr.net/gh/fonsp/Pluto.jl@9ca70c36/frontend/" : nothing) | ||
| m = match(r"<head.*?>(.*)</head>"s, default) | ||
| reduce([ | ||
| # r"<script[^\n]data-pluto-file=[\"']?launch-parameters.*?/script>"s | ||
| r"<title.*?/title>" | ||
| r"<meta name=[\"']?description.*?>" | ||
| r"<meta name=[\"']?description.*?>" | ||
| r"<link rel=[\"']?icon.*?>" | ||
| ]; init=m[1]) do s,r | ||
| replace(s, r => "") | ||
| end |> HTML | ||
| end | ||
|
|
||
| f(x,y) = get(page.output.frontmatter, x, y) | ||
|
|
||
| function section_number(frontmatter) | ||
| ch = get(frontmatter, "chapter", nothing) | ||
| se = get(frontmatter, "section", nothing) | ||
|
|
||
| isnothing(ch) || isnothing(se) ? nothing : "$(ch).$(se)" | ||
| end | ||
|
|
||
| nothing | ||
| end)<html lang="en"> | ||
| <head> | ||
|
|
||
| <title>$(f("title", splitext(basename(page.input.relative_path))[1])) — $(metadata["course_info"]["course_name"]) </title> | ||
| $(let d = f("description", nothing) | ||
| if d !== nothing | ||
| @htl("""<meta name="description" content=$(d) />""") | ||
| end | ||
| end) | ||
|
|
||
| <link rel="root" href="$(root_url)" /> | ||
|
|
||
| <link rel="icon" href="$(root_url)/assets/favicon.ico" /> | ||
| <link rel="icon" href="$(root_url)/assets/favicon.svg" type="image/svg+xml"> | ||
|
|
||
| <link rel="stylesheet" href="$(root_url)/assets/styles/index.css" type="text/css" /> | ||
| <link rel="stylesheet" href="$(root_url)/assets/styles/layout.css" type="text/css" /> | ||
|
|
||
| <link rel="pp-search-data" href="$(root_url)/pp_search_data.json" /> | ||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/lunr.min.js" integrity="sha256-DFDZACuFeAqEKv/7Vnu1Tt5ALa58bcWZegGGFNgET8g=" crossorigin="anonymous" defer></script> | ||
|
|
||
| <script src="https://cdn.jsdelivr.net/npm/[email protected]/src/lite-yt-embed.js" integrity="sha256-sDRYYtDc+jNi2rrJPUS5kGxXXMlmnOSCq5ek5tYAk/M=" crossorigin="anonymous" defer></script> | ||
| <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/src/lite-yt-embed.css" integrity="sha256-lv6SEl7Dhri7d86yiHCTuSWFb9CYROQFewxZ7Je0n5k=" crossorigin="anonymous"> | ||
|
|
||
| $(pluto_head) | ||
|
|
||
| </head> | ||
| <body> | ||
| <div id="pages-layout"> | ||
| <div id="pages-content"> | ||
| $(content) | ||
| </div> | ||
| </div> | ||
| </body> | ||
| </html> |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains 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
Oops, something went wrong.