prove

There are 7 repositories under prove topic.

40ants/cl-hamcrest
This library makes your CL unittests more readable.
Language:Common Lisp18 5 5
bleargh45/TAP-Formatter-JUnit
Harness output delegate for JUnit output
Language:Perl3 2 136
bcc32/tap
Test Anything Protocol for OCaml
Language:OCaml1 2 0
melezhik/perl6-prove
pre-commit hook - runs prove tests for perl6 project
Language:Shell1 3 0
PierreVerbe/Formal-Approaches
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.
Language:C0 2 00
Thorium/ProveSDK
Unofficial Prove .NET Client
Language:F#1 0
vit0r/squad-builder-link-aggregator
Dashboard to link aggregator
Language:JavaScript0 0