A small CBOR codec suitable for no_std environments.
☆86Feb 24, 2026Updated last week
Alternatives and similar repositories for minicbor
Users that are interested in minicbor are comparing it to the libraries listed below
Sorting:
- CBOR: Concise Binary Object Representation☆86Nov 30, 2025Updated 3 months ago
- Lightweight translation layer between syntect.rs and ratatui.rs style types☆22May 9, 2025Updated 10 months ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- MVP for updated PEP 543 proposal☆14Feb 13, 2026Updated 3 weeks ago
- ☆14Feb 25, 2026Updated last week
- LEC - Logic Equivalence Checking - Formal Verification☆34Updated this week
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- Rust macro to split up fields of a Peripherals struct into new structs☆53Apr 1, 2025Updated 11 months ago
- GuidedSampler: Coverage-guided Sampling of SMT Solutions☆15Jul 9, 2025Updated 8 months ago
- Cloud file and email Sync, file Sharing, inter-cloud Encryption and Backup solution written in Rust and modern technologies☆14Aug 29, 2025Updated 6 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- A Rust library for validating CBOR or JSON data against a CDDL schema specification☆15Feb 15, 2026Updated 3 weeks ago
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 5 months ago
- ☆13Apr 12, 2020Updated 5 years ago
- ☆14May 5, 2025Updated 10 months ago
- Robust, ergonomic CoAP server in Rust☆18Jul 31, 2023Updated 2 years ago
- ☆17Mar 14, 2025Updated 11 months ago
- ☆17May 31, 2025Updated 9 months ago
- Build and evaluate binary expression trees☆38Sep 7, 2024Updated last year
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆91Updated this week
- ☆16Jan 5, 2022Updated 4 years ago
- BGP & BMP Rust library☆16Nov 6, 2025Updated 4 months ago
- Egraphs Modulo Theories☆18Jun 10, 2025Updated 9 months ago
- ☆14Jun 3, 2018Updated 7 years ago
- madsim-inspired determinism for turmoil-based simulation tests☆55Feb 19, 2026Updated 2 weeks ago
- Statically allocated, runtime initialized cell.☆61Aug 22, 2025Updated 6 months ago
- Rust port of Ruckig trajectory generator☆20Dec 28, 2025Updated 2 months ago
- Unofficial Node.js wheels, `pip install nodejs-wheel`☆25Updated this week
- ☆19Jul 12, 2024Updated last year
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- no_std Hardware Abstraction Layers for ESP32 microcontrollers☆1,768Mar 3, 2026Updated last week
- Rust SCPI parser☆46May 22, 2025Updated 9 months ago
- ☆22Dec 2, 2022Updated 3 years ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 8 months ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Adapters to convert between different writable APIs.☆22Dec 27, 2024Updated last year
- A web service that generates images of dependency graphs for crates hosted on crates.io☆19Aug 6, 2017Updated 8 years ago
- A simple `no_std` heap allocator for RISC-V and Xtensa processors from Espressif☆24Apr 16, 2024Updated last year
- ☆13Jan 11, 2026Updated last month