Padlock Echo Server implementation

Padlock is LibreSSL's libtls in Ada.

Status

This is alpha software. I'm actively working it. YMMV.

Tested on Linux x86_64, MacOS ARM and Windows x86_64.

Usage

Install tada.

See example echo client implementation

Run both with:

tada run

Disclaimer

This codebase is written by hand. Claude Code is used for Socratic design exploration and code review.

License

EUPL