Announcing the first beta release for the Official Azure SDK for Rust! 🎉 These releases include libraries for Identity, Key Vault secrets & keys, Event Hubs, and Cosmos DB. These libraries are designed to provide a seamless and idiomatic experience fo... (more…)
Read 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…)
Read more »
Plugins have always been at the very center of the Vim experience. Traditionally, you were restricted to writing plugins in VimScript, or a small set of supported languages like Python or Ruby… (more…)
Read more »
A faithful and open-source remake of Cave Story engine written in Rust - GitHub - doukutsu-rs/doukutsu-rs: A faithful and open-source remake of Cave Story engine written in Rust... (more…)
Read more »