Introducing cbindgen, a project for generating a C/C++ header for a Rust library. See also the popular bindgen project which works in the opposite direction. cbindgen will parse a single source or a whole library (including dependent crates) and gather al... (more…)

i initially was going to just write (bad sign) one of my rare reddit replies (worse sign) and be done with it, but then i pasted what i wrote* into the text box and it reflowed the page ’cause it was too much words (ouch). (more…)

The Rust library Gazebo contains a collection of well-tested Rust utilities in the form of standalone modules. (more…)

Since its first open-source release in 2015, the Rust programming language has gained a lot of attention from the community. It's also been voted the most loved programming language on StackOverflow's developer survey each year since 2016. Rust was design... (more…)

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. (more…)