Explore >> Select a destination


You are here

cprimozic.net
| | blog.m-ou.se
2.1 parsecs away

Travel
| | 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
2.7 parsecs away

Travel
| | 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
3.2 parsecs away

Travel
| | Documentation for the Kani Rust Verifier
| | rust-embedded.github.io
4.2 parsecs away

Travel
|