Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆24Mar 30, 2026Updated last week
Alternatives and similar repositories for csdiff
Users that are interested in csdiff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆26Updated this week
- Allocator and manager for (expensive) resources☆10Mar 9, 2026Updated last month
- Distribution oriented templating system☆19Dec 29, 2025Updated 3 months ago
- ☆25Mar 23, 2026Updated 2 weeks ago
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Oct 16, 2025Updated 5 months ago
- 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.
- Packit-service web UI dashboard☆11Apr 1, 2026Updated last week
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Mar 31, 2026Updated last week
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated 9 months ago
- Packit provided as a service☆43Apr 1, 2026Updated last week
- ☆13Oct 1, 2024Updated last year
- Betelgeuse reads standard Python test cases and offers tools to interact with Polarion.☆13Aug 20, 2025Updated 7 months ago
- Tweak your macOS with Ansible in over 40 different ways!☆14Jan 16, 2023Updated 3 years ago
- Linux HPSDR☆16Mar 7, 2023Updated 3 years ago
- This repo is for setting up the continuous-infra pipeline environment.☆12Mar 11, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A tool to gather data from JIRA and run extended queries on top of it☆12Feb 11, 2023Updated 3 years ago
- A CLI tool and library for communicating with Thoth☆14May 30, 2023Updated 2 years ago
- Managing Containers with Ansible☆13Oct 30, 2018Updated 7 years ago
- Sample Integration application along with lifecycle automation☆13Jan 7, 2023Updated 3 years ago
- 🙋 Survey app which collects anonymized instance data to improve Nextcloud☆11Updated this week
- Rust crate for auto-discovery of feeds in HTML content☆13Dec 14, 2021Updated 4 years ago
- Reference frontend service for SuperVisor written in Python☆17May 28, 2021Updated 4 years ago
- Checks your test results metadata into github, commit-bound. Acts as a bot. You'll need a GitHub App to use it.☆24Jul 3, 2020Updated 5 years ago
- Web application to select the appropriate Debian repository for HAProxy☆11Nov 28, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This repository contains a proof of concept demonstrating block inheritance via CIL namespaces, which allows better container separation☆20Jan 21, 2019Updated 7 years ago
- AWS CLI Aliases☆13Updated this week
- Halik - Debugging can be exciting!☆14Oct 13, 2020Updated 5 years ago
- Playground and generated docs for Protobuf files☆11Oct 15, 2024Updated last year
- A taint tracing plugin for Valgrind, unofficial mirror for https://code.google.com/p/flayer/☆18Aug 5, 2015Updated 10 years ago
- Misc. Ansible playbooks for Kubernetes☆16Jan 24, 2024Updated 2 years ago
- Here you will find the laboratory materials for the Intel HPC Developers Conference☆11Nov 13, 2016Updated 9 years ago
- TeamCity plugin for Bazel build system☆16Mar 16, 2026Updated 3 weeks ago
- Lab automation and queuing scripting☆19Mar 30, 2026Updated last week
- 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.
- Terminator plugins☆27May 11, 2015Updated 10 years ago
- This is a repository for discussing Roles Based Access Control for docker☆19Jul 27, 2015Updated 10 years ago
- A web dashboard for visualizing and exploring GNUCash financial data.☆32Updated this week
- A Pythonic way of developing GitHub Apps☆15Feb 26, 2018Updated 8 years ago
- Data collection and inference web page for Log Detective AI☆16Mar 31, 2026Updated last week
- iOS devicetree utils☆11Aug 31, 2023Updated 2 years ago
- A modern du replacement, with new features and a better output☆16Feb 3, 2023Updated 3 years ago