A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆27Sep 14, 2026Updated this 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 2 months ago
- Allocator and manager for (expensive) resources☆11Jul 27, 2026Updated last month
- OpenScanHub is a service for static and dynamic analysis.☆20Sep 1, 2026Updated 2 weeks ago
- Distribution oriented templating system☆19Jul 14, 2026Updated 2 months ago
- Configuration files for Feedback Pipeline☆22Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Jun 1, 2026Updated 3 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆61May 27, 2026Updated 3 months ago
- ☆25Jun 3, 2022Updated 4 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- Python library for parsing dnf/yum repositories☆20Jun 19, 2022Updated 4 years ago
- Fedora Atomic images built on top of Onyx, designed for Budgie Desktop development☆11Feb 11, 2024Updated 2 years ago
- The Butane Python Toolkit☆12Jul 13, 2023Updated 3 years ago
- Module Building in a Box☆17Oct 4, 2022Updated 3 years ago
- Simple bridge between Open Build Server and git☆13Sep 5, 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.
- Local DNS caching services configuration daemon.☆19Jul 12, 2026Updated 2 months ago
- PyCham Community Edition IDE editor for developing not only python applications☆23Sep 9, 2026Updated last week
- A Shape Analyzer Based on Symbolic Memory Graphs☆79Aug 2, 2026Updated last month
- Online tool, which helps you create RPM Spec file from scratch.☆22Feb 16, 2022Updated 4 years ago
- HTTP API for datanommer and the fedmsg bus☆43Mar 3, 2026Updated 6 months ago
- 📜 Scripts to bring up network interfaces and legacy utilities in Fedora.☆52Aug 1, 2026Updated last month
- Various scripts for operating on an OSTree repository☆29Dec 18, 2020Updated 5 years ago
- Library for working with RPM manifests☆16Updated this week
- ☆25Nov 13, 2023Updated 2 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.
- Source content for https://suse-projects.github.io☆16Oct 3, 2022Updated 3 years ago
- Container build support for Koji buildsystem☆29Mar 26, 2025Updated last year
- Verify backward compatibility of Linux packages (RPM or DEB)☆22Jun 6, 2020Updated 6 years ago
- A pubsubhubbub application that rebroadcasts github events on the fedmsg bus☆19Feb 20, 2024Updated 2 years ago
- A library for parsing and manipulating RPM spec files☆32Updated this week
- ☆25Jun 29, 2022Updated 4 years ago
- A set of scripts to show helpful system information to the login terminal.☆13Jul 24, 2026Updated last month
- Packit-service web UI dashboard☆11Updated this week
- ☆15Aug 20, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My ansible playbooks repo for various silly things.☆13Jun 17, 2025Updated last year
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 4 months ago
- Thecus N5550 hardware support☆10Dec 2, 2023Updated 2 years ago
- Packit provided as a service☆41Updated this week
- Linux init script that supports several uwsgi binaries compiled with different python versions.☆15Nov 7, 2011Updated 14 years ago
- 6 handwritten fonts created for the Because We Had To project☆31May 1, 2019Updated 7 years ago
- ☆12Mar 1, 2018Updated 8 years ago