Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Tips on MetaCall
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Google Summer of Code 2021: Implementing a WebAssembly Loader for MetaCall
Google Summer of Code 2021: Development of Jupyter Kernel for MetaCall
Verify Rust Code
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Easily verify your Rust in CI with Kani and Github Actions
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
References
Tips on mdBook
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Plugins
mdbook-mermaid
mdbook-mermaid is a preprocessor for mdbook to add mermaid.js support.
References
Make Charts in Markdown Using Mermaid
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
https://frehberg.com/2022/12/docs-as-code-mermaid-inline-diagrams/ Docs as Code: Mermaid inline diagrams
Tools for Rust
https://crates.io/crates/aquamarine Aquamarine is a procedural macro extension for rustdoc, that aims to …
Unit Testing and Formal Verification in Rust
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Test vs Verification
Rust Design-for-Testability: a survey
Rust testing or verifying: Why not both?
KLEE Symbolic Execution Engine
Library-ification and analyzing Rust