| chez-scheme-10.1.0-4.el10_1 |
Scheme incremental optimizing compiler |
linux/s390x |
| chez-scheme-devel-10.1.0-4.el10_1 |
Chez-Scheme development files |
linux/s390x |
| chez-scheme-examples-10.1.0-4.el10_1 |
Chez-Scheme examples files |
linux/noarch |
| cryptopp-8.8.0-9.el10_1 |
C++ class library of cryptographic schemes |
linux/s390x |
| cryptopp-devel-8.8.0-9.el10_1 |
Header files and development documentation for cryptopp |
linux/s390x |
| cryptopp-static-8.8.0-9.el10_1 |
Static libraries for cryptopp |
linux/s390x |
| csbuild-3.8.1-1.el10_1 |
Tool for plugging static analyzers into the build process |
linux/noarch |
| csdiff-3.5.4-1.el10_1 |
Non-interactive tools for processing code scan results in plain-text |
linux/s390x |
| csdiff-static-3.5.4-1.el10_1 |
Statically linked csgrep-static executable |
linux/s390x |
| csmock-3.8.1-1.el10_1 |
A mock wrapper for Static Analysis tools |
linux/noarch |
| csmock-common-3.8.1-1.el10_1 |
Core of csmock (a mock wrapper for Static Analysis tools) |
linux/noarch |
| csmock-plugin-bandit-3.8.1-1.el10_1 |
csmock plug-in providing the support for Bandit. |
linux/noarch |
| csmock-plugin-cbmc-3.8.1-1.el10_1 |
csmock plug-in providing the support for cbmc |
linux/noarch |
| csmock-plugin-clang-3.8.1-1.el10_1 |
csmock plug-in providing the support for Clang |
linux/noarch |
| csmock-plugin-clippy-3.8.1-1.el10_1 |
csmock plug-in providing the support for Rust Clippy. |
linux/noarch |
| csmock-plugin-cppcheck-3.8.1-1.el10_1 |
csmock plug-in providing the support for Cppcheck |
linux/noarch |
| csmock-plugin-divine-3.8.1-1.el10_1 |
csmock plug-in providing the support for divine |
linux/noarch |
| csmock-plugin-gitleaks-3.8.1-1.el10_1 |
experimental csmock plug-in |
linux/noarch |
| csmock-plugin-infer-3.8.1-1.el10_1 |
csmock plug-in providing the support for Infer |
linux/noarch |