Utilities for Coverity
☆16Nov 17, 2014Updated 11 years ago
Alternatives and similar repositories for coverity
Users that are interested in coverity are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Talk for RustConf 2021☆11Jul 28, 2021Updated 5 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Feb 27, 2017Updated 9 years ago
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- ☆12Aug 22, 2022Updated 4 years ago
- WhitePool is a lightweight, generic pooling library for Rust+Tokio☆17Sep 5, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Java and Scala client libraries for Concord☆13Feb 15, 2017Updated 9 years ago
- mkdir -p☆11May 31, 2019Updated 7 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- Documentation and examples for the Springpad export format.☆13Jun 13, 2015Updated 11 years ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆15May 11, 2019Updated 7 years ago
- This is the main project for the Savant build tool☆13Mar 12, 2026Updated 7 months ago
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Oct 8, 2026Updated 3 weeks ago
- Quickly create boilerplate projects and templates.☆13Jul 5, 2021Updated 5 years ago
- Makefile DSL☆12Apr 3, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Get an array of all distinct NaN values supported by the engine. There can be only one!☆11Oct 27, 2022Updated 4 years ago
- Example of using native libraries in F#☆11Feb 16, 2025Updated last year
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 7 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 4 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated last year
- Rust library for showing text based progress bar and job status☆10Nov 18, 2022Updated 3 years ago
- Yes, really!☆11May 8, 2015Updated 11 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Notify Honeybadger about Haskell exceptions.☆12Oct 2, 2026Updated 3 weeks ago
- Indexed Types☆13Sep 4, 2022Updated 4 years ago
- An AutoHotkey library for colorizing terminal output☆11Nov 18, 2022Updated 3 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated 2 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 10 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Dec 31, 2015Updated 10 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 7 years ago
- Mackerel plugin helper library for Rust☆12Nov 23, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- Derive Template Haskell's Lift class for datatypes.☆13Jan 4, 2026Updated 9 months ago
- Haskell bindings to the sundown markdown library☆12Mar 29, 2019Updated 7 years ago
- Tiny recursive descent expression parser, compiler, and evaluation engine for math expressions.☆11Jul 11, 2023Updated 3 years ago
- ListT done right☆16Oct 11, 2023Updated 3 years ago
- Rust CLI weather forecasting tool☆11Dec 28, 2017Updated 8 years ago
- Tensors of statically known size☆10Jan 10, 2023Updated 3 years ago