GitHub repository: stv0g/rosenpass
Description: Rosenpass is a formally verified, post-quantum secure VPN that uses WireGuard to transport the actual data.