Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools
☆24Mar 30, 2026Updated last month
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☆10May 11, 2026Updated last week
- Distribution oriented templating system☆19Apr 13, 2026Updated last month
- Local DNS caching services configuration daemon.☆17Updated this week
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 6 months ago
- ☆17Jan 4, 2019Updated 7 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.
- Pipeleek scans CI/CD logs and artifacts to detect leaked secrets and pivot from them☆19Updated this week
- ☆22Aug 15, 2016Updated 9 years ago
- Evaluate and compare SBOMs of Maven projects☆14Mar 3, 2023Updated 3 years ago
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Mar 31, 2026Updated last month
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated 11 months ago
- Universal Magic Patch Functionator☆15Apr 17, 2026Updated last month
- Generate fake rpm.☆15Nov 29, 2022Updated 3 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Managing Containers with Ansible☆13Oct 30, 2018Updated 7 years ago
- Open Source Laser Cutter- Large version - Open Lab Starter Kit☆16May 20, 2025Updated 11 months 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☆11Dec 4, 2025Updated 5 months ago
- Python module to interact with THOR Thunderstorm service☆18Dec 5, 2025Updated 5 months 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☆10Apr 25, 2026Updated 3 weeks 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
- Portal UI for the KubeRocketCI platform inspired by Headlamp☆21Apr 15, 2026Updated last month
- 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.
- Fedora Loves Python website☆18May 27, 2021Updated 4 years ago
- PDF.js sandbox based on quickjs☆15Apr 23, 2026Updated 3 weeks ago
- Here you will find the laboratory materials for the Intel HPC Developers Conference☆11Nov 13, 2016Updated 9 years ago
- App for Nextcloud providing a proper search page☆13May 5, 2026Updated 2 weeks ago
- ☆17Jun 16, 2024Updated last year
- Gtk-OSX moduleset, gtk-mac-bundler bundles, and ancillary files for creating GnuCash OSX Application Bundle.☆38Mar 29, 2026Updated last month
- AI superpowers you own. Sila is an open alternative to ChatGPT where you own AI assistants, chats and data.☆23Apr 22, 2026Updated 3 weeks 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 Pythonic way of developing GitHub Apps☆15Feb 26, 2018Updated 8 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.
- Darling's userspace kernel server (much like Wine's wineserver)☆18Dec 6, 2025Updated 5 months ago
- Data collection and inference web page for Log Detective AI☆14May 11, 2026Updated last week
- ☆11Jun 6, 2025Updated 11 months ago
- iOS devicetree utils☆11Aug 31, 2023Updated 2 years ago
- Flexible recursive directory iterator: `scandir` meets `glob("**", recursive=True)`☆16Apr 13, 2026Updated last month
- ☆12Feb 18, 2024Updated 2 years ago
- Multicloud use-case based multihost async provisioner for CIs and testing during development☆17Apr 15, 2026Updated last month