mkovaxx / anodizedView external linksLinks
Harden your Rust with specifications.
☆27Updated this week
Alternatives and similar repositories for anodized
Users that are interested in anodized are comparing it to the libraries listed below
Sorting:
- A desktop transcription software☆16Feb 2, 2026Updated last week
- Rust traits for key comparison in maps.☆37Feb 14, 2025Updated 11 months ago
- Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.☆59Updated this week
- A GitHub action for deploying Shuttle projects☆37Jan 23, 2025Updated last year
- Generates Natvis for debug visualization of Rust code☆35Nov 14, 2024Updated last year
- A test framework for testing rustc diagnostics output☆38Updated this week
- Multi-source configuration library for Rust.☆43Updated this week
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- UB-free and deterministic rustc fuzzer☆98Dec 21, 2025Updated last month
- Pre-RFC for merging cargo-script into cargo☆40Updated this week
- A simple local storage media library manager.☆37Mar 21, 2025Updated 10 months ago
- Listen to your favorite internet radio stations on GNOME!☆25Dec 26, 2025Updated last month
- Cards Against Megukas☆16Oct 24, 2024Updated last year
- A Claude Code skill for conducting rigorous code reviews based on Clean Code, Clean Architecture, and The Pragmatic Programmer principles☆51Jan 26, 2026Updated 2 weeks ago
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆52Updated this week
- Rust bindings for the Android MediaCodec NDK library☆13Nov 7, 2022Updated 3 years ago
- libSQL Rust client library can be used to communicate with sqld natively over HTTP protocol with native Rust interface.☆97Aug 18, 2024Updated last year
- Thread Safe Reactive Data Structure. Made with ❤️ for 🦀☆42Mar 25, 2024Updated last year
- CLI to watch developer news of many langs and blogs☆43Dec 16, 2023Updated 2 years ago
- Veecle Operating System for system development.☆115Updated this week
- ☆26Dec 18, 2025Updated last month
- Custom formatting for Rust.☆10Nov 21, 2025Updated 2 months ago
- A Rust library for sampling from various distributions☆14Updated this week
- Helper proc-macro to "ungroup" a captured metavariable☆10Jul 19, 2023Updated 2 years ago
- The Chinese Version of The Rust Reference☆10Oct 13, 2024Updated last year
- The CompCert formally-verified C compiler☆10Updated this week
- Colloid GTK Fork | opacity support☆13Feb 11, 2025Updated last year
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- RustUI - Cross-Platform UI Framework A modern, cross-platform UI framework written in Rust that supports desktop, web, iOS, and Android p…☆22Jun 21, 2025Updated 7 months ago
- ☆10Sep 8, 2022Updated 3 years ago
- Load and resolve Cargo configuration.☆17Updated this week
- ☆16Jan 23, 2026Updated 3 weeks ago
- Rust binding for libfyaml☆13Dec 7, 2024Updated last year
- Use the "stacks" feature known from macOS on Windows and GNU/Linux☆13Dec 15, 2022Updated 3 years ago
- Buddies of Budgie documentation, built with Docusaurus.☆10Updated this week
- ☆13Aug 29, 2022Updated 3 years ago
- XML builder macro letting you write XML inside Rust code☆10Nov 15, 2023Updated 2 years ago
- QR code encoder in Rust，Generate QR Code matrices and images in RAW, PNG and SVG formats.☆14Dec 16, 2025Updated last month
- Breakout Game written in Rust for the ESP32 with an OLED display, using the Embassy framework.☆11Jan 31, 2025Updated last year