Harden your Rust with specifications.
☆89Mar 10, 2026Updated last month
Alternatives and similar repositories for anodized
Users that are interested in anodized are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Composable multi-source configuration for Rust applications.☆44Updated this week
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 8 months ago
- Search, preview, and generate .gitignore files with focused TUI.☆40Mar 22, 2026Updated 3 weeks ago
- A hash table with deque-like order and fast iteration; access items by key or sequence index☆18Apr 9, 2026Updated last week
- A Rust hash table using 8-way hopscotch hashing with constant-time worst-case lookups, and SIMD acceleration☆23Oct 4, 2025Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆28Updated this week
- Rust traits for key comparison in maps.☆39Feb 14, 2025Updated last year
- Easily and efficiently extract deeply nested data in Rust☆56Mar 28, 2026Updated 2 weeks ago
- ☆16May 5, 2025Updated 11 months ago
- ☆32Jun 25, 2025Updated 9 months ago
- Create and explore Mermaid diagrams in collaboration with AI agents (TUI + MCP Server)☆48Mar 29, 2026Updated 2 weeks ago
- Rust bindings for the Android MediaCodec NDK library☆13Nov 7, 2022Updated 3 years ago
- A desktop transcription software☆16Updated this week
- Proposed plumbing commands for cargo☆22Apr 1, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tag the safety properties of the Rust standard library.☆19Mar 28, 2026Updated 2 weeks ago
- Signal generators, easing, RNG & more Rust crate providing mathematical primitives to make TUIs, games, and creative tools feel alive and…☆21Jan 2, 2026Updated 3 months ago
- Trustfall adapter for querying rustdoc☆20Mar 14, 2026Updated last month
- A secure CLI application for temporary file storage using AWS S3 with automatic expiration, intelligent chunking, and local history track…☆20Nov 18, 2025Updated 4 months ago
- ☆10Jul 28, 2024Updated last year
- Benchmarks for comparing the speed of stdout vs stderr & code snippets for my blog post.☆15Dec 4, 2024Updated last year
- A simple Elm architecture framework for ratatui☆29Dec 7, 2025Updated 4 months ago
- ☆16Mar 6, 2024Updated 2 years ago
- Simple yet powerful multi-line text editor widget for Ratatui☆55Apr 6, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…☆59Updated this week
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 9 years ago
- A test framework for testing rustc diagnostics output☆41Mar 10, 2026Updated last month
- bearcove internal building tool☆11Apr 28, 2025Updated 11 months ago
- ☆13Jan 30, 2026Updated 2 months ago
- ☆14Jun 27, 2021Updated 4 years ago
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- A template for Sycamore with TailwindCSS☆13Dec 3, 2022Updated 3 years ago
- Abstraction over std::Instant and tokio_timer that works on WASM☆78Apr 19, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated 3 months ago
- Kotlin code samples☆16Jul 24, 2018Updated 7 years ago
- Blazing fast parallel caching for Rust. Serializes complex data to a chunked file format to get CPU maximum power on data loads, but as a…☆109Mar 16, 2026Updated last month
- 🔎 Detect architectures, platforms, shells, terminals, CI systems and agents, grouped by family☆26Apr 9, 2026Updated last week
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- Mashin is an extensible rust-powered Infrastructure as Code (IaC) platform with a Javascript runtime, simplifying cloud resource manageme…☆22Aug 8, 2023Updated 2 years ago
- 这是一个在精神错乱的情况下胡搂出来的操作系统，基于纯手写的宏定义内核和早期类Unix内核☆12Jul 19, 2025Updated 8 months ago