Skip to content

Commit

Permalink
Merge pull request #83 from gwenn/plotly_url
Browse files Browse the repository at this point in the history
Fix Plotly url
  • Loading branch information
glyn authored Aug 17, 2024
2 parents af9997c + 9927508 commit 1dfaa94
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/applications.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ Applications of Rust:
* [intermezzOS OS](http://intermezzos.github.io/book/second-edition/)
* [_nalgebra_](https://nalgebra.org/docs/) - a linear algebra library
* [OpenPGP Card](https://openpgp-card.gitlab.io/guide/)
* [Plotly.rs](https://igiagkiozis.github.io/plotly/content/plotly_rs.html)
* [Plotly.rs](https://plotly.github.io/plotly.rs/content/getting_started.html)
* [PNGme: An Intermediate Rust Project](https://jrdngr.github.io/pngme_book/)
* [Prusti user guide](https://viperproject.github.io/prusti-dev/user-guide/) - a Rust verifier
* [Rama Proxy](https://ramaproxy.org/book/) - modular services framework
Expand Down

0 comments on commit 1dfaa94

Please sign in to comment.