Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆25Jun 22, 2026Updated 3 weeks 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☆26Jun 24, 2026Updated 3 weeks ago
- Allocator and manager for (expensive) resources☆10Updated this week
- 🐚 GitHub Action for running ShellCheck differentially☆65Jul 1, 2026Updated 2 weeks ago
- OpenScanHub is a service for static and dynamic analysis.☆20Jul 1, 2026Updated 2 weeks ago
- A pubsubhubbub application that rebroadcasts github events on the fedmsg bus☆19Feb 20, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Ansible role to configure ssh.☆11May 7, 2024Updated 2 years ago
- A DIY headphone amplifier based on INA1620 and USB-C DAC☆15Sep 15, 2021Updated 4 years ago
- ☆17Jan 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
- ☆12Mar 1, 2018Updated 8 years ago
- ☆14Jan 29, 2021Updated 5 years ago
- Unserialize bugs advisory☆11Oct 9, 2023Updated 2 years ago
- A vim plugin that creates and auto-loads ctags, cscope, and pycscope database for you.☆15Jan 29, 2019Updated 7 years ago
- 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.
- RegisterMachine Go☆23Feb 22, 2018Updated 8 years ago
- Smart tmux sessions☆13May 8, 2018Updated 8 years ago
- Interchange format for results for static analysis tools☆63Apr 27, 2024Updated 2 years ago
- A CLI tool and library for communicating with Thoth☆15May 30, 2023Updated 3 years ago
- Managing Containers with Ansible☆13Oct 30, 2018Updated 7 years ago
- DONE AND DONE: Was scripts and scenarios for migration from core code to collections☆17Mar 13, 2020Updated 6 years ago
- [gradle-plugin] Common tasks for Dependency Track interaction, like SBOM upload or VEX Generation☆11Jun 29, 2026Updated 3 weeks ago
- Reference frontend service for SuperVisor written in Python☆17May 28, 2021Updated 5 years ago
- Portal UI for the KubeRocketCI platform inspired by Headlamp☆21Apr 15, 2026Updated 3 months 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.
- disk usage for IBM Storage Scale file systems☆12Jul 14, 2026Updated last week
- Re-usable building blocks for Bazel build tool - (mirror of https://gerrit.googlesource.com/./bazlets)☆14Updated this week
- PyCham Community Edition IDE editor for developing not only python applications☆22Jul 7, 2026Updated 2 weeks ago
- Misc. Ansible playbooks for Kubernetes☆16Jan 24, 2024Updated 2 years ago
- Remove duplicate files.☆20Oct 26, 2021Updated 4 years ago
- A python package containing functions that help interacting with various versions of Ansible☆29Updated this week
- Highly automated, up-to-date, and well-documented repository template. Checks for common problems, Markdown, YAML, Bash, formats, lints, …☆16Jan 1, 2024Updated 2 years ago
- Scripts for viewing Slurm batch job resource usages☆11Jan 3, 2022Updated 4 years ago
- Restic wrapper for easy backups☆19Aug 23, 2020Updated 5 years ago
- 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.
- Linux HPSDR☆16Mar 7, 2023Updated 3 years ago
- Data collection and inference web page for Log Detective AI☆14Updated this week
- Project for parsing Usenet mbox files into local PostgreSQL DB☆18Oct 15, 2020Updated 5 years ago
- A modern du replacement, with new features and a better output☆16Feb 3, 2023Updated 3 years ago
- a simple Bash script for colouring log outputs☆12Sep 23, 2020Updated 5 years ago
- Infrastructure components for building highly scalable systems☆13Oct 4, 2024Updated last year
- Local DNS caching services configuration daemon.☆19Jul 12, 2026Updated last week