News

2025-01-01 > A blog is born

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