Manuels Anforderungs-Tracing
☆52Oct 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for mantra
Users that are interested in mantra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- An example of a plugin system in rust using wasi preview 2☆12Feb 20, 2025Updated last year
- Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.☆102Updated this week
- Documentation, code and information for the Safety Critical Rust Consortium☆177Updated this week
- Leptos CSR Starter Template deployed to Github Pages☆11Apr 5, 2024Updated 2 years 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.
- Btrfs userspace utilities, written in rust☆17May 14, 2026Updated 5 months ago
- Non-intrusive ITM tracing/replay toolset for RTIC programs with nanosecond timestamp accuracy.☆18Jul 22, 2023Updated 3 years ago
- CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases☆254Updated this week
- Helper crate to create a Concourse resource in Rust☆12Mar 12, 2024Updated 2 years ago
- Validate an OpenAPI schema against some rules☆13Aug 6, 2026Updated 2 months ago
- Embassy HAL for NXP IMXRT MCU family☆23Jul 21, 2026Updated 3 months ago
- Fork to fix some serialization issues.☆19Apr 12, 2026Updated 6 months ago
- ☆83Oct 6, 2026Updated 3 weeks ago
- A rust crate that provides the usual logger macros and either forwards them to the `log` or `defmt` crate, depending on the enabled featu…☆14Oct 29, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A bzip2 implementation in pure Rust.☆17Oct 24, 2022Updated 4 years ago
- Deprecated in favor of riot-desktop in nixpkgs☆16Feb 18, 2019Updated 7 years ago
- A toolkit to create better Rust device drivers, faster☆339Updated this week
- Cargo features alignment tool.☆11Nov 17, 2025Updated 11 months ago
- ☆64Updated this week
- Generate an SPDX Software Bill of Materials for Rust crates.☆20Aug 10, 2022Updated 4 years ago
- Target side implementation of the RTT (Real-Time Transfer) I/O protocol☆204Jul 17, 2026Updated 3 months ago
- Scan your Rust crate for semver violations.☆1,703Oct 26, 2026Updated last week
- Curve25519 in safe Pure Rust with #[no_std]. ported from rust-crypto crate☆12Jan 20, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- apt-transport-blob is a transport for apt that allows users to access an apt repository on Azure Blob Storage☆11Updated this week
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- ☆11Jul 2, 2024Updated 2 years ago
- C++ POD code generator for capnproto types☆17May 19, 2025Updated last year
- ☆17Updated this week
- Google Fuchsia for the Pine64 Pinephone, unfinished, needs a build configuration.☆11Nov 5, 2020Updated 5 years ago
- Eloquence in Messaging☆150Oct 26, 2026Updated last week
- Easy Polynomial Fitting for Rust☆60Jul 5, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Jan 13, 2020Updated 6 years ago
- A Cryptographic Abstraction Layer (CAL) for embedded systems☆19Sep 25, 2026Updated last month
- A .NET implementation of the OMG SysML2 specification☆30Updated this week
- Small demo for android app in Ada/webAssembly☆12Mar 5, 2020Updated 6 years ago
- The speech quality evalutator ViSQOL written in Rust☆21Oct 24, 2026Updated last week
- Ada-tailored UML Modeling Language☆12May 14, 2023Updated 3 years ago
- ☆183Oct 23, 2026Updated last week