Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆25Jun 22, 2026Updated 2 months ago
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☆27Updated this week
- Allocator and manager for (expensive) resources☆11Jul 27, 2026Updated last month
- Lab automation and queuing scripting☆20Jun 25, 2026Updated 2 months ago
- The website for Simple Directmedia Layer.☆18Sep 2, 2026Updated 2 weeks ago
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Sep 1, 2026Updated 2 weeks 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.
- ☆25Sep 7, 2026Updated last week
- Command line time tracker compatible with gtimelog☆16Nov 17, 2025Updated 10 months ago
- A pubsubhubbub application that rebroadcasts github events on the fedmsg bus☆19Feb 20, 2024Updated 2 years ago
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Aug 1, 2026Updated last month
- This script provides a pricing and capacity summary of EBS volumes in a specified region☆13Jun 22, 2022Updated 4 years ago
- The Singularity Community Catalog of Singularity* recipe files.☆11Oct 27, 2025Updated 10 months ago
- Betelgeuse reads standard Python test cases and offers tools to interact with Polarion.☆14Aug 20, 2025Updated last year
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated last year
- Python library for parsing dnf/yum repositories☆20Jun 19, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Repo moved to https://github.com/apache/jclouds-labs-openstack☆10Feb 3, 2019Updated 7 years ago
- Packit provided as a service☆41Updated this week
- ☆18Jan 4, 2019Updated 7 years ago
- Vulnerability Knowledge Base comparison tool☆13Feb 9, 2022Updated 4 years ago
- Evaluate and compare SBOMs of Maven projects☆14Mar 3, 2023Updated 3 years ago
- Unserialize bugs advisory☆11Oct 9, 2023Updated 2 years ago
- A tool to gather data from JIRA and run extended queries on top of it☆12Feb 11, 2023Updated 3 years ago
- RegisterMachine Go☆23Feb 22, 2018Updated 8 years ago
- Smart tmux sessions☆14May 8, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This repo is for setting up the continuous-infra pipeline environment.☆11Mar 11, 2023Updated 3 years ago
- A vim plugin that creates and auto-loads ctags, cscope, and pycscope database for you.☆15Jan 29, 2019Updated 7 years ago
- Tweak your macOS with Ansible in over 40 different ways!☆14Jan 16, 2023Updated 3 years ago
- Managing Containers with Ansible☆13Oct 30, 2018Updated 7 years ago
- Interchange format for results for static analysis tools☆63Apr 27, 2024Updated 2 years ago
- [gradle-plugin] Common tasks for Dependency Track interaction, like SBOM upload or VEX Generation☆11Jun 29, 2026Updated 2 months ago
- Reference frontend service for SuperVisor written in Python☆17May 28, 2021Updated 5 years ago
- Portal UI for the KubeRocketCI platform inspired by Headlamp☆21Jul 27, 2026Updated last month
- Fedora Loves Python website☆18May 27, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repository contains a proof of concept demonstrating block inheritance via CIL namespaces, which allows better container separation☆20Jan 21, 2019Updated 7 years ago
- Distributed URL Engine for ClickHouse (public service)☆15Jul 8, 2023Updated 3 years ago
- A taint tracing plugin for Valgrind, unofficial mirror for https://code.google.com/p/flayer/☆18Aug 5, 2015Updated 11 years ago
- disk usage for IBM Storage Scale file systems☆12Aug 31, 2026Updated 2 weeks ago
- Re-usable building blocks for Bazel build tool - (mirror of https://gerrit.googlesource.com/./bazlets)☆14Sep 10, 2026Updated last week
- A simple module which adds Enigma Machine-emulating functionality to your python projects. A pypi release is forthcoming.☆11Jan 11, 2025Updated last year
- This is a repository for discussing Roles Based Access Control for docker☆20Jul 27, 2015Updated 11 years ago