A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆28Oct 19, 2026Updated last week
Alternatives and similar repositories for csmock
Users that are interested in csmock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools☆25Jun 22, 2026Updated 4 months ago
- OpenScanHub is a service for static and dynamic analysis.☆20Oct 1, 2026Updated 3 weeks ago
- Distribution oriented templating system☆19Jul 14, 2026Updated 3 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆61Updated this week
- Python library for parsing dnf/yum repositories☆20Jun 19, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆25Jun 3, 2022Updated 4 years ago
- Command line time tracker compatible with gtimelog☆18Nov 17, 2025Updated 11 months ago
- ☆11Oct 17, 2023Updated 3 years ago
- The Butane Python Toolkit☆12Jul 13, 2023Updated 3 years ago
- Simple bridge between Open Build Server and git☆13Sep 5, 2022Updated 4 years ago
- LaTeX files for the OPEN tutorial☆11Jun 11, 2026Updated 4 months ago
- Local DNS caching services configuration daemon.☆19Oct 22, 2026Updated last week
- A collection of utility scripts to manage images☆13Mar 31, 2026Updated 6 months ago
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Sep 23, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Online tool, which helps you create RPM Spec file from scratch.☆22Feb 16, 2022Updated 4 years ago
- Network Manager Utility Scripts☆19May 20, 2025Updated last year
- VMDP is the Virtual Machine Driver Pack for Microsoft Windows. This repository contains the source code, which is distributed under a BS…☆15Updated this week
- Library for working with RPM manifests☆17Oct 21, 2026Updated last week
- Various scripts for operating on an OSTree repository☆29Dec 18, 2020Updated 5 years ago
- A python wrapper around the Beatport.com API☆10Jul 31, 2013Updated 13 years ago
- Language Server for RPM spec files☆45Sep 14, 2026Updated last month
- Source content for https://suse-projects.github.io☆16Oct 3, 2022Updated 4 years ago
- Red Hat Czech's International Open Source Developers Conference☆11Jan 20, 2026Updated 9 months 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.
- ☆25Nov 13, 2023Updated 2 years ago
- copr build of bazel | https://copr.fedorainfracloud.org/coprs/vbatts/bazel/☆18Oct 20, 2023Updated 3 years ago
- Container build support for Koji buildsystem☆29Mar 26, 2025Updated last year
- Mock ensures your RPM package builds are repeatable and reliable.☆436Oct 19, 2026Updated last week
- A pubsubhubbub application that rebroadcasts github events on the fedmsg bus☆19Feb 20, 2024Updated 2 years ago
- Bodhi is a web-system that facilitates the process of publishing updates for a Fedora-based software distribution.☆180Oct 19, 2026Updated last week
- Tool for checking common errors in rpm packages☆165Updated this week
- ☆25Jun 29, 2022Updated 4 years ago
- mirror of the `prettier` npm package for pre-commit☆10Oct 10, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tool for extracting Linux kernel configurations from many distributions & displaying a web UI☆41Updated this week
- The RPM package manager☆592Oct 22, 2026Updated last week
- A set of scripts to show helpful system information to the login terminal.☆13Jul 24, 2026Updated 3 months ago
- A library for parsing and manipulating RPM spec files☆33Oct 19, 2026Updated last week
- build rpms without a spec file. Pure Rust. No dependencies to librpm☆10Sep 29, 2026Updated last month
- Global Engineering Public Skills Repository☆17Oct 21, 2026Updated last week
- Flexible Distributed Linux Kernel Live Patching☆27Jul 16, 2019Updated 7 years ago