News
- First article of this blog explaining how it was made
Software
- > 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