|
You are here |
cprimozic.net | ||
| | | | |
blog.m-ou.se
|
|
| | | | | About a year ago, I published a Rust crate called inline-python, which allows you to easily mix some Python into your Rust code using a python!{ .. } macro. In this series, I'll go through the process of developing this crate from scratch. | |
| | | | |
blog.jetbrains.com
|
|
| | | | | Have you ever wondered how Rust's procedural macros work? In this blog post series, we will get into the details! A member of our team, Vladislav Beskrovny, recently gave a talk on the topic at RustCo | |
| | | | |
model-checking.github.io
|
|
| | | | | Documentation for the Kani Rust Verifier | |
| | | | |
rust-embedded.github.io
|
|
| | | |||