Softwares

> Bam

A PBT framework with internal shrinking (PPX included)

> Tezt-bam

A Tezt integration of Bam with a user-friendly debugging experience

> Chords

An implementation of The Noise cryptopgrahic protocol enabling secured connections