octeep/idris2-tls

A portable idris2 implementation of TLS

10 best points · 0 comments · 1 Hacker News post · 33 GitHub stars · View on GitHub

Hacker News discussions

• A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol (10 points, 0 comments, by pizza, 2021-12-26)