Blake3 hash plugin for MySQL written in Rust
Using Rust to create a MySQL plugin that implements blake3 hash.
Read more »Kani Rust Verifier
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Read more »The Kani Rust Verifier Project
The Kani Rust Verifier (Kani) is an open-source automated reasoning tool that proves properties about Rust code. This is our blog for the project.
Read more »DLL Crab – DLL Injector with GUI Written in Rust
🦀 Rusty DLL Injector with GUI. Contribute to aiocat/dll-crab development by creating an account on GitHub.
Read more »Testability: Reimagining OOP design patterns in Rust
I’m going to look at design patterns that enables easy code testability. Most of the code I write at work is written in a traditional object-oriented language, and is almost exclusively using the pattern known as Dependency Injection (DI).
Read more »Espanso: Cross-Platform Text Expander Written in Rust
Cross-platform Text Expander written in Rust. Contribute to federico-terzi/espanso development by creating an account on GitHub.
Read more »ClojureRS – Clojure interpreter implemented in Rust
Clojure, implemented atop Rust (unofficial). Contribute to clojure-rs/ClojureRS development by creating an account on GitHub.
Read more »anyhow/ensure.rs: A Rust macro with 677 lines
Flexible concrete Error type built on std::error::Error – anyhow/ensure.rs at 1.0.57 · dtolnay/anyhow…
Read more »Rust / WASM framework for building client web apps
Rust / Wasm framework for building client web apps – GitHub – yewstack/yew: Rust / Wasm framework for building client web apps…
Read more »Spacedrive open source cross-platform file explorer written in Rust
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust. – GitHub – spacedriveapp/spacedrive: Spacedrive is an open source cross-platf…
Read more »