Skip to content

Commit

Permalink
deploy: 1dfaa94
Browse files Browse the repository at this point in the history
  • Loading branch information
glyn committed Aug 17, 2024
1 parent 711e04a commit affeb74
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion applications.html
Original file line number Diff line number Diff line change
Expand Up @@ -228,7 +228,7 @@ <h1 id="rust-application-books"><a class="header" href="#rust-application-books"
<li><a href="http://intermezzos.github.io/book/second-edition/">intermezzOS OS</a></li>
<li><a href="https://nalgebra.org/docs/"><em>nalgebra</em></a> - a linear algebra library</li>
<li><a href="https://openpgp-card.gitlab.io/guide/">OpenPGP Card</a></li>
<li><a href="https://igiagkiozis.github.io/plotly/content/plotly_rs.html">Plotly.rs</a></li>
<li><a href="https://plotly.github.io/plotly.rs/content/getting_started.html">Plotly.rs</a></li>
<li><a href="https://jrdngr.github.io/pngme_book/">PNGme: An Intermediate Rust Project</a></li>
<li><a href="https://viperproject.github.io/prusti-dev/user-guide/">Prusti user guide</a> - a Rust verifier</li>
<li><a href="https://ramaproxy.org/book/">Rama Proxy</a> - modular services framework</li>
Expand Down
2 changes: 1 addition & 1 deletion print.html
Original file line number Diff line number Diff line change
Expand Up @@ -393,7 +393,7 @@ <h1 id="the-little-book-of-rust-books"><a class="header" href="#the-little-book-
<li><a href="http://intermezzos.github.io/book/second-edition/">intermezzOS OS</a></li>
<li><a href="https://nalgebra.org/docs/"><em>nalgebra</em></a> - a linear algebra library</li>
<li><a href="https://openpgp-card.gitlab.io/guide/">OpenPGP Card</a></li>
<li><a href="https://igiagkiozis.github.io/plotly/content/plotly_rs.html">Plotly.rs</a></li>
<li><a href="https://plotly.github.io/plotly.rs/content/getting_started.html">Plotly.rs</a></li>
<li><a href="https://jrdngr.github.io/pngme_book/">PNGme: An Intermediate Rust Project</a></li>
<li><a href="https://viperproject.github.io/prusti-dev/user-guide/">Prusti user guide</a> - a Rust verifier</li>
<li><a href="https://ramaproxy.org/book/">Rama Proxy</a> - modular services framework</li>
Expand Down

0 comments on commit affeb74

Please sign in to comment.