This library makes your CL unittests more readable.

Harness output delegate for JUnit output

pre-commit hook - runs prove tests for perl6 project

Test Anything Protocol for OCaml

Unofficial Prove .NET Client

Dashboard to link aggregator

This repository contains the end-of-semester project at ISEP in formal approach. The aim was to prove the proper functioning of a bubble sorter via frama-c.

Jest reporter in the style of Perl's prove