Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆25Mar 30, 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:
- Distribution oriented templating system☆19Apr 13, 2026Updated last month
- The website for Simple Directmedia Layer.☆18May 2, 2026Updated last month
- OpenScanHub is a service for static and dynamic analysis.☆20Apr 2, 2026Updated 2 months ago
- ☆25May 12, 2026Updated 3 weeks ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 6 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆17Jan 4, 2019Updated 7 years ago
- Pipeleek scans CI/CD logs and artifacts to detect leaked secrets and pivot from them☆19Updated this week
- Betelgeuse reads standard Python test cases and offers tools to interact with Polarion.☆13Aug 20, 2025Updated 9 months ago
- Unserialize bugs advisory☆11Oct 9, 2023Updated 2 years ago
- Repo moved to https://github.com/apache/jclouds-labs-openstack☆10Feb 3, 2019Updated 7 years ago
- Linux HPSDR☆16Mar 7, 2023Updated 3 years ago
- 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☆15May 30, 2023Updated 3 years ago
- Managing Containers with Ansible☆13Oct 30, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- DONE AND DONE: Was scripts and scenarios for migration from core code to collections☆17Mar 13, 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
- 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
- Capture network traffic of a running container☆14Nov 29, 2016Updated 9 years ago
- AWS CLI Aliases☆13Updated this week
- ☆11Dec 22, 2023Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Distill Wireshark trace data into web pages that expose AMQP on-the-wire protocol☆12Jan 4, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A python package containing functions that help interacting with various versions of Ansible☆28Updated 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
- Data collection and inference web page for Log Detective AI☆14Jun 1, 2026Updated last week
- iOS devicetree utils☆11Aug 31, 2023Updated 2 years ago
- Teamcity server with Ansible☆13Aug 15, 2014Updated 11 years ago
- Allows to set different screen resolutions in VMware☆12Jul 18, 2015Updated 10 years ago
- Online tool, which helps you create RPM Spec file from scratch.☆22Feb 16, 2022Updated 4 years ago
- ☆16Apr 13, 2011Updated 15 years ago
- CTF-RSA-tool☆19Nov 27, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20Sep 13, 2022Updated 3 years ago
- Objective-C 2.0 for Windows (non-GUI, 32-bit) - discontinued☆11Jan 5, 2015Updated 11 years ago
- nrepl support for thunknyc/profile☆22Mar 20, 2018Updated 8 years ago
- A Bluetooth keyboard for Homey using a ESP32 for emulation☆15Nov 12, 2019Updated 6 years ago
- Use of clang to complete in C/C++.☆19Oct 25, 2011Updated 14 years ago
- CI Job Parallelizer built on Docker and Kubernetes☆18Jun 7, 2017Updated 9 years ago
- Boron is the atom that comes before carbon.☆13Aug 27, 2017Updated 8 years ago