Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆24Mar 30, 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☆25Apr 7, 2026Updated 3 weeks ago
- Allocator and manager for (expensive) resources☆10Mar 9, 2026Updated last month
- ☆16Jan 4, 2019Updated 7 years ago
- Ansible role to configure ssh.☆11May 7, 2024Updated last year
- Packit-service web UI dashboard☆11Apr 20, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A LaTeX document class to create small hand-outs (flyers)☆13Mar 12, 2024Updated 2 years ago
- Evaluate and compare SBOMs of Maven projects☆13Mar 3, 2023Updated 3 years ago
- This script provides a pricing and capacity summary of EBS volumes in a specified region☆13Jun 22, 2022Updated 3 years ago
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated 10 months ago
- A free and open-source GUI tool that simplifies combining multiple code files into one, with automatic labeling and support for various p…☆14Jan 3, 2025Updated last year
- Open Source CNC Milling machine - Large version - Open Lab Starter Kit☆20Jun 18, 2025Updated 10 months ago
- ☆12Mar 1, 2018Updated 8 years ago
- Tweak your macOS with Ansible in over 40 different ways!☆14Jan 16, 2023Updated 3 years ago
- Create replication agreements between 389DS server instances☆13Apr 1, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Linux HPSDR☆16Mar 7, 2023Updated 3 years ago
- This repo is for setting up the continuous-infra pipeline environment.☆12Mar 11, 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
- Open Source Laser Cutter- Large version - Open Lab Starter Kit☆16May 20, 2025Updated 11 months ago
- Copy My Writing is a command-line tool for generating content based on your personal writing style.☆11Oct 12, 2025Updated 6 months ago
- DONE AND DONE: Was scripts and scenarios for migration from core code to collections☆18Mar 13, 2020Updated 6 years ago
- Rust crate for auto-discovery of feeds in HTML content☆13Dec 14, 2021Updated 4 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
- Fedora Loves Python website☆18May 27, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- A taint tracing plugin for Valgrind, unofficial mirror for https://code.google.com/p/flayer/☆18Aug 5, 2015Updated 10 years ago
- Misc. Ansible playbooks for Kubernetes☆16Jan 24, 2024Updated 2 years ago
- PyCham Community Edition IDE editor for developing not only python applications☆23Feb 23, 2026Updated 2 months ago
- Distill Wireshark trace data into web pages that expose AMQP on-the-wire protocol☆12Jan 4, 2019Updated 7 years ago
- Lab automation and queuing scripting☆19Apr 17, 2026Updated last week
- LINK TO THE PROGRAM:☆10Dec 14, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI superpowers you own. Sila is an open alternative to ChatGPT where you own AI assistants, chats and data.☆22Apr 22, 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☆19Jul 27, 2015Updated 10 years ago
- Data collection and inference web page for Log Detective AI☆15Apr 21, 2026Updated last week
- iOS devicetree utils☆11Aug 31, 2023Updated 2 years ago
- Teamcity server with Ansible☆13Aug 15, 2014Updated 11 years ago
- ☆29Jan 27, 2016Updated 10 years ago