A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆26Mar 9, 2026Updated last week
Alternatives and similar repositories for csmock
Users that are interested in csmock are comparing it to the libraries listed below
Sorting:
- Utilities for processing results of static analyzers, dynamic analyzers, and formal verification tools☆24Mar 3, 2026Updated 2 weeks ago
- Allocator and manager for (expensive) resources☆10Mar 9, 2026Updated last week
- OpenScanHub is a service for static and dynamic analysis.☆19Mar 2, 2026Updated 2 weeks ago
- Distribution oriented templating system☆19Dec 29, 2025Updated 2 months ago
- Configuration files for Feedback Pipeline☆23Mar 11, 2026Updated last week
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆60Mar 13, 2026Updated last week
- ☆25Jun 3, 2022Updated 3 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- HTTP API for datanommer and the fedmsg bus☆43Mar 3, 2026Updated 2 weeks ago
- The Butane Python Toolkit☆12Jul 13, 2023Updated 2 years ago
- A collection of utility scripts to manage images☆12Feb 6, 2026Updated last month
- Module Building in a Box☆17Oct 4, 2022Updated 3 years ago
- LaTeX files for the OPEN tutorial☆11Apr 30, 2025Updated 10 months ago
- Simple bridge between Open Build Server and git☆13Sep 5, 2022Updated 3 years ago
- Language Server for RPM spec files☆44Updated this week
- Library for working with RPM manifests☆15Feb 2, 2026Updated last month
- PyCham Community Edition IDE editor for developing not only python applications☆23Feb 23, 2026Updated 3 weeks ago
- Online tool, which helps you create RPM Spec file from scratch.☆22Feb 16, 2022Updated 4 years ago
- IPA schema extensions for FAS☆13Updated this week
- Flexible Metadata Format☆29Jun 25, 2025Updated 8 months ago
- Various scripts for operating on an OSTree repository☆29Dec 18, 2020Updated 5 years ago
- ☆24Mar 11, 2026Updated last week
- ❗❗❗This repo was moved to https://github.com/systemd-rhel ❗❗❗☆28May 3, 2019Updated 6 years ago
- ☆25Nov 13, 2023Updated 2 years ago
- Source content for https://suse-projects.github.io☆16Oct 3, 2022Updated 3 years ago
- Python library for parsing dnf/yum repositories☆20Jun 19, 2022Updated 3 years ago
- Tool for checking common errors in rpm packages☆162Mar 10, 2026Updated last week
- A set of scripts to show helpful system information to the login terminal.☆12Mar 13, 2026Updated last week
- Packit-service web UI dashboard☆11Mar 9, 2026Updated last week
- copr build of bazel | https://copr.fedorainfracloud.org/coprs/vbatts/bazel/☆18Oct 20, 2023Updated 2 years ago
- mirror of the `prettier` npm package for pre-commit☆10Jan 22, 2026Updated last month
- The Decision Maximizer 3000 optimization project☆10Jan 16, 2022Updated 4 years ago
- ☆15Aug 20, 2025Updated 7 months ago
- Redfish-based BMC discovery tool written in Go☆16Feb 9, 2026Updated last month
- Verify backward compatibility of Linux packages (RPM or DEB)☆22Jun 6, 2020Updated 5 years ago
- Thecus N5550 hardware support☆10Dec 2, 2023Updated 2 years ago
- Packit provided as a service☆43Updated this week
- A Simple Linux Repository Manager☆23Feb 27, 2026Updated 3 weeks ago
- Tool to update fedora packages branches☆24Jan 2, 2026Updated 2 months ago