Linking pages
- Design by Contract in Rust. An ergonomic design using proc macros | by Raimi Karim | ITNEXT https://medium.com/@remykarem/design-by-contract-in-rust-4cfe88b349bd?sk=6a5c31b6d583244439e3f0da01dee5a3 12 comments
- Structuring, testing and debugging procedural macro crates https://ferrous-systems.com/blog/testing-proc-macros/ 7 comments
- Rust Design-for-Testability: a survey – Alastair Reid – Researcher at Intel https://alastairreid.github.io/rust-testability/ 3 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:crates.io
Search title: How to express Contracts in Rust?
See how to search.