|
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. | |
| | | | |
model-checking.github.io
|
|
| | | | | Documentation for the Kani Rust Verifier | |
| | | | |
blog.logrocket.com
|
|
| | | | | Declarative and procedural macros enable metaprogramming in Rust, which can lead to runtime cost savings and more powerful code. | |
| | | | |
poignardazur.github.io
|
|
| | | Let's talk about pinning in the Rust programming language. | ||