Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆24Mar 3, 2026Updated 2 weeks ago
Alternatives and similar repositories for csdiff
Users that are interested in csdiff are comparing it to the libraries listed below
Sorting:
- A tool for static analysis, dynamic analysis, and formal verification of RPM packages☆26Mar 9, 2026Updated last week
- Allocator and manager for (expensive) resources☆10Mar 9, 2026Updated last week
- Distribution oriented templating system☆19Dec 29, 2025Updated 2 months ago
- 🐚 GitHub Action for running ShellCheck differentially☆64Mar 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☆13Oct 16, 2025Updated 5 months ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 4 months ago
- Red Hat Czech's International Open Source Developers Conference☆10Jan 20, 2026Updated 2 months ago
- Evaluate and compare SBOMs of Maven projects☆13Mar 3, 2023Updated 3 years ago
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated 9 months ago
- Packit provided as a service☆43Updated this week
- Betelgeuse reads standard Python test cases and offers tools to interact with Polarion.☆13Aug 20, 2025Updated 7 months ago
- ☆12Mar 1, 2018Updated 8 years ago
- RegisterMachine Go☆22Feb 22, 2018Updated 8 years 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
- A CLI tool and library for communicating with Thoth☆14May 30, 2023Updated 2 years ago
- ☆16Nov 23, 2021Updated 4 years ago
- Sample Integration application along with lifecycle automation☆13Jan 7, 2023Updated 3 years ago
- Copy My Writing is a command-line tool for generating content based on your personal writing style.☆11Oct 12, 2025Updated 5 months ago
- Based on ITUS 1.51 SP1☆10Jul 8, 2018Updated 7 years ago
- Rust crate for auto-discovery of feeds in HTML content☆12Dec 14, 2021Updated 4 years ago
- Reference frontend service for SuperVisor written in Python☆17May 28, 2021Updated 4 years ago
- Web application to select the appropriate Debian repository for HAProxy☆11Nov 28, 2025Updated 3 months ago
- Capture network traffic of a running container☆14Nov 29, 2016Updated 9 years ago
- Portal UI for the KubeRocketCI platform inspired by Headlamp☆20Feb 22, 2026Updated 3 weeks ago
- AWS CLI Aliases☆13Updated this week
- Halik - Debugging can be exciting!☆14Oct 13, 2020Updated 5 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- PDF.js sandbox based on quickjs☆15Feb 21, 2026Updated 3 weeks ago
- Here you will find the laboratory materials for the Intel HPC Developers Conference☆11Nov 13, 2016Updated 9 years ago
- Lab automation and queuing scripting☆18Feb 20, 2026Updated last month
- Terminator plugins☆27May 11, 2015Updated 10 years ago
- 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
- A simple module which adds Enigma Machine-emulating functionality to your python projects. A pypi release is forthcoming.☆11Jan 11, 2025Updated last year
- A Nextcloud docker compose file☆14Jan 25, 2022Updated 4 years ago
- A Pythonic way of developing GitHub Apps☆15Feb 26, 2018Updated 8 years ago
- Darling's userspace kernel server (much like Wine's wineserver)☆18Dec 6, 2025Updated 3 months ago
- A modern du replacement, with new features and a better output☆15Feb 3, 2023Updated 3 years ago
- Data collection and inference web page for Log Detective AI☆16Mar 9, 2026Updated last week