prove

There are 0 repository under prove topic.

• 40ants / cl-hamcrest

  This library makes your CL unittests more readable.

  unittestingprovehamcrest
  Language:Common Lisp 18

• bleargh45 / TAP-Formatter-JUnit

  Harness output delegate for JUnit output

  junitprovetest-anything-protocol
  Language:Perl 3

• bcc32 / tap

  Test Anything Protocol for OCaml

  test-anything-protocolocamltapproveperltesting
  Language:OCaml 1

• melezhik / perl6-prove

  pre-commit hook - runs prove tests for perl6 project

  perl6provepre-commithooksgit
  Language:Shell 1

• 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.

  cframa-cmathsprove
  Language:C 0

• vit0r / squad-builder-link-aggregator

  Dashboard to link aggregator

  nodejsproveconceptual
  Language:JavaScript