Search Packages

ssot-contracts

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-registry

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-views

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-core

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-cli

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-codegen

Repository-agnostic Python CLI for single-source-of-truth traceability from features to evidence-backed releases.

ssot-tui

Terminal UI package for ssot-registry workflows.

neuralsat

NeuralSAT: A DPLL(T) Framework for Verifying Deep Neural Networks

cbmc-starter-kit

The CBMC starter kit makes it easy to add CBMC verification to a software project.

polywit

🌍 A poly-language execution-based violation-witness validator

esbmc-wr

A ESBMC command line wrapper.

lsverifier

This open-source tool streamlines software verification by allowing the simultaneous assessment of extensive files and functions in a single run. By leveraging the ESBMC module, it enhances vulnerability detection and reinforces software security.