A tool for static analysis, dynamic analysis, and formal verification of RPM packages
☆27Sep 28, 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 3 months ago
- OpenScanHub is a service for static and dynamic analysis.☆20Oct 1, 2026Updated last week
- Distribution oriented templating system☆19Jul 14, 2026Updated 2 months ago
- ☆14Jun 1, 2026Updated 4 months ago
- RPM (single RPMs, SRPMs, Koji builds, Fedora modules) build deviation analysis tools☆61May 27, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Command line time tracker compatible with gtimelog☆16Nov 17, 2025Updated 10 months ago
- ☆11Oct 17, 2023Updated 2 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 4 years ago
- A collection of utility scripts to manage images☆13Mar 31, 2026Updated 6 months ago
- LaTeX files for the OPEN tutorial☆11Jun 11, 2026Updated 3 months ago
- Local DNS caching services configuration daemon.☆19Jul 12, 2026Updated 2 months ago
- A Shape Analyzer Based on Symbolic Memory Graphs☆79Oct 1, 2026Updated last week
- 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.
- 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☆43Sep 18, 2026Updated 3 weeks ago
- IPA schema extensions for FAS☆13May 11, 2026Updated 4 months ago
- Flexible Metadata Format☆32Oct 2, 2026Updated last week
- Various scripts for operating on an OSTree repository☆29Dec 18, 2020Updated 5 years ago
- Simple Signed Certificate Generator☆94Sep 25, 2026Updated 2 weeks ago
- ❗❗❗This repo was moved to https://github.com/systemd-rhel ❗❗❗☆28May 3, 2019Updated 7 years ago
- Language Server for RPM spec files☆45Sep 14, 2026Updated 3 weeks ago
- A former repository of the LaTeX document class for the typesetting of theses at the Masaryk University in Brno. Now migrated to the URL …☆45May 12, 2022Updated 4 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.
- Source content for https://suse-projects.github.io☆16Oct 3, 2022Updated 4 years ago
- Container build support for Koji buildsystem☆29Mar 26, 2025Updated last year
- Tool for checking common errors in rpm packages☆165Updated this week
- 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
- Packit-service web UI dashboard☆11Updated this week
- 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☆10Sep 27, 2026Updated last week
- 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.
- 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
- A Simple Linux Repository Manager☆23Oct 2, 2026Updated last week
- A pure rust library for building and parsing RPM's☆39Apr 24, 2025Updated last year
- RegisterMachine Go☆23Feb 22, 2018Updated 8 years ago
- Provides a collection of kiwi image descriptions☆73Oct 21, 2025Updated 11 months ago