Unsafe Rust

1. kani

   1 54 2,573 9.7 Rust

   Kani Rust Verifier

   

   You can also use Kani to check unsafe code. https://github.com/model-checking/kani

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. nomicon

   2 89 2,039 6.5 CSS

   The Dark Arts of Advanced and Unsafe Rust Programming

   

   Nice video! Glad I could help out. This stuff is hard, and I'm still learning a lot about it myself even years later. The Rustonomicon is a great read if you haven't already.

Suggest a related project