Showing entries 1-12 out of 12.
CiviCRM CLI Utility
Prover for satisfiability modulo theory (SMT)
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
CVE Binary Checker Tool
Vulnerability patching with CVSS, EPSS, and CISA's Known Exploited Vulnerabilities
Tool to check linux kernel source dump for known CVEs
Concurrent Versions System - a source control system
Export an RCS or CVS history as a fast-import stream
Tool to convert CVS repositories to Subversion repositories
Tool to generate CVS patch set information
Collection of tools to work locally with CVS