Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆25Jun 22, 2026Updated 3 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:
- Allocator and manager for (expensive) resources☆11Jul 27, 2026Updated 2 months ago
- 🐚 GitHub Action for running ShellCheck differentially☆66Oct 1, 2026Updated last week
- OpenScanHub is a service for static and dynamic analysis.☆20Oct 1, 2026Updated last week
- The website for Simple Directmedia Layer.☆18Oct 2, 2026Updated last week
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Sep 1, 2026Updated last month
- 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.
- ☆25Updated this week
- Command line time tracker compatible with gtimelog☆16Nov 17, 2025Updated 10 months ago
- Ansible role to configure ssh.☆11May 7, 2024Updated 2 years ago
- Packit-service web UI dashboard☆11Updated this week
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Sep 23, 2026Updated 2 weeks ago
- 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 11 months ago
- Universal Magic Patch Functionator☆17Apr 17, 2026Updated 5 months ago
- Repo moved to https://github.com/apache/jclouds-labs-openstack☆10Feb 3, 2019Updated 7 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.
- Packit provided as a service☆41Updated this week
- ☆18Jan 4, 2019Updated 7 years ago
- Evaluate and compare SBOMs of Maven projects☆14Mar 3, 2023Updated 3 years ago
- Test Result Aggregator and Analysis Tool☆13Aug 26, 2023Updated 3 years ago
- Addressbook manager and vim script compatible with notmuch☆38Jul 24, 2019Updated 7 years ago
- ☆12Mar 1, 2018Updated 8 years ago
- Capture network traffic of a running container☆14Nov 29, 2016Updated 9 years ago
- A tool to gather data from JIRA and run extended queries on top of it☆12Feb 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Checks your test results metadata into github, commit-bound. Acts as a bot. You'll need a GitHub App to use it.☆25Jul 3, 2020Updated 6 years ago
- 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 5 years ago
- Fedora Loves Python website☆18May 27, 2021Updated 5 years ago
- This repository contains a proof of concept demonstrating block inheritance via CIL namespaces, which allows better container separation☆20Jan 21, 2019Updated 7 years ago
- ☆11Dec 22, 2023Updated 2 years ago
- disk usage for IBM Storage Scale file systems☆12Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Re-usable building blocks for Bazel build tool - (mirror of https://gerrit.googlesource.com/./bazlets)☆14Updated this week
- A simple module which adds Enigma Machine-emulating functionality to your python projects. A pypi release is forthcoming.☆11Jan 11, 2025Updated last year
- Misc. Ansible playbooks for Kubernetes☆16Jan 24, 2024Updated 2 years ago
- This is a repository for discussing Roles Based Access Control for docker☆20Jul 27, 2015Updated 11 years ago
- Data collection and inference web page for Log Detective AI☆14Sep 28, 2026Updated last week
- Linux HPSDR☆16Mar 7, 2023Updated 3 years ago
- A modern du replacement, with new features and a better output☆16Feb 3, 2023Updated 3 years ago