cbmc

verifytests/verify.diffplex10

Diff verifier

A tool for comparing and verifying the differences between two text files using a diffplex algorithm.

verifytests/verify.icsharpcode.decompiler8

Assembly Verifier

A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler

d-m-bailey/cvc22

Circuit Validator

Checks CDL netlists for errors and circuit validity

bcoudurier/ffmbc192

Video processing library

A custom-built FFmpeg version with extended features and support for professional broadcast and video editing applications.

vbpf/ebpf-verifier392

eBPF verifier

A tool that verifies the correctness of eBPF programs using an abstract interpretation approach

flcdrg/verify.mongodb5

MongoDB Verifier

A tool for verifying MongoDB operations and recording their execution

smackers/smack431

C verifier

A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation

s-weigand/flake8-nb28

Code checker

A tool to check Python code quality in Jupyter notebooks.

bkoelman/csharpguidelinesanalyzer145

Code analyzer

A tool that analyzes C# code against predefined coding guidelines and reports diagnostics

p-ranav/criterion212

C++ microbenchmarker

A microbenchmarking library for measuring performance of C++ code

meducation/clarifier3

Code clarifier

A tool for improving code readability and maintainability by providing functionality to clarify complex code structures

verifytests/verify.brighter2

Command processor verifier

Adds support for verifying a specific command processing framework

dcoeurjo/lowdiscbluenoise113

Noise sampler

A C++ library that generates 2D point sets with low discrepancy and Blue Noise properties.

phpcsstandards/php_codesniffer1K

Code auditor

Detects and enforces coding standards in PHP code to ensure consistency and quality.