-
aegis Public
Forked from RedHatProductSecurity/aegis-aigenAI agent providing 'in context' security analysis on CVE, components and more
Python MIT License UpdatedMay 30, 2026 -
predator Public
A Shape Analyzer Based on Symbolic Memory Graphs
-
-
osim Public
Forked from RedHatProductSecurity/osimWeb UI for interacting with OSIDB
TypeScript MIT License UpdatedMar 17, 2026 -
csdiff Public
Forked from csutils/csdiffCLI tools for processing code scan results in plain-text
UpdatedMar 3, 2026 -
-
csmock Public
Forked from csutils/csmockA mock wrapper for Static Analysis tools
UpdatedJan 28, 2026 -
openscanhub Public
Forked from openscanhub/openscanhubOpenScanHub is a service for static and dynamic analysis.
Python GNU General Public License v3.0 UpdatedJan 2, 2026 -
rrv Public
Radiosity Renderer and Visualizer
-
kobo Public
Forked from release-engineering/koboA pile of python modules used by Red Hat release engineering to build their tools.
Python GNU Lesser General Public License v2.1 UpdatedSep 3, 2025 -
nss-pem Public
PEM file reader for Network Security Services (NSS), implemented as a PKCS#11 module
-
osidb-bindings Public
Forked from RedHatProductSecurity/osidb-bindingsA client library for accessing OSIDB API
Python MIT License UpdatedJul 4, 2025 -
build-definitions Public
Forked from konflux-ci/build-definitionsMy own fork for developing SAST scanning automation in Konflux
Shell Apache License 2.0 UpdatedJun 26, 2025 -
konflux-test-operator-pipelines Public
Forked from redhat-openshift-ecosystem/operator-pipelinespersonal repo for debugging Konflux CI tasks
Python Apache License 2.0 UpdatedMay 29, 2025 -
konflux-test-multicluster-global-hub Public
Forked from stolostron/multicluster-global-hubpersonal repo for debugging Konflux CI tasks
Go Apache License 2.0 UpdatedMay 29, 2025 -
-
-
cscppc Public
Forked from csutils/cscppcA compiler wrapper that runs Cppcheck/Clang in background
UpdatedNov 12, 2024 -
logging-vector Public
Forked from ralphbean/logging-vectorExperimenting with trying to rebuild ViaQ/vector
Rust Mozilla Public License 2.0 UpdatedAug 9, 2024 -
-
logrotate Public
Forked from logrotate/logrotateThe logrotate utility is designed to simplify the administration of log files on a system which generates a lot of log files.
C GNU General Public License v2.0 UpdatedJun 3, 2024 -
experimental csbuild-based continuous integration for curl
C Other UpdatedMar 28, 2023 -
-
pigz Public
Forked from madler/pigzA parallel implementation of gzip for modern multi-processor, multi-core machines.
C UpdatedSep 19, 2022 -
-
modulemd-tools Public
Forked from rpm-software-management/modulemd-toolsA tool to take a yum repo and turn it into a Fedora module stream
Python Other UpdatedApr 14, 2022 -
rpm-symbiotic Public
Forked from aufover/rpm-symbioticRPM packaging of staticafi/symbiotic
Python MIT License UpdatedMar 29, 2022 -
aufover-benchmark Public
Forked from aufover/aufover-benchmarkCollection of tasks used for evaluation of formal verification tools in the AUFOVER (Automation of Formal Verification) project.
JavaScript MIT License UpdatedMar 2, 2022 -
rpm-divine Public
Forked from aufover/rpm-divineRPM packaging of paradise-fi/divine
Python ISC License UpdatedDec 7, 2021 -
cbmc-utils Public
Forked from aufover/cbmc-utilsOutput conversion utilities for CBMC
C BSD 4-Clause "Original" or "Old" License UpdatedDec 7, 2021
{{ message }}