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.
| | model-checking.github.io
3.2 parsecs away

Travel
| | Documentation for the Kani Rust Verifier
| | blog.logrocket.com
2.6 parsecs away

Travel
| | Declarative and procedural macros enable metaprogramming in Rust, which can lead to runtime cost savings and more powerful code.
| | poignardazur.github.io
16.4 parsecs away

Travel
| Let's talk about pinning in the Rust programming language.