Static analysis for GitHub Actions

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

ShellCheck, a static analysis tool for shell scripts

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Magical Deterministic Simulator for distributed systems in Rust.

Add hardship to your tests

Automated testing to find logic and performance bugs in database systems

The P programming language.

Automatic SQL injection and database takeover tool

A random SQL query generator

The CompCert formally-verified C compiler

An interpreter for Rust's mid-level intermediate representation

A model checker for implementing distributed systems.

PObserve: Monitoring P Specifications on Traces

Verified Rust for low-level systems code

Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow

Black-box transactional safety checker based on cycle detection