Pq-adapter-mullvad Alternatives

Similar projects and alternatives to pq-adapter-mullvad

mullvadvpn-app

199 4,419 10.0 Rust pq-adapter-mullvad VS mullvadvpn-app

The Mullvad VPN client app for desktop and mobile
coq

87 4,609 10.0 OCaml pq-adapter-mullvad VS coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
InfluxDB

www.influxdata.com featured

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
CompCert

36 1,763 7.2 Coq pq-adapter-mullvad VS CompCert

The CompCert formally-verified C compiler
cargo-geiger

30 1,311 5.2 Rust pq-adapter-mullvad VS cargo-geiger

Detects usage of unsafe Rust in a Rust crate and its dependencies.
noise

7 502 3.9 Go pq-adapter-mullvad VS noise

Go implementation of the Noise Protocol Framework
rosenpass

5 992 9.4 Rust pq-adapter-mullvad VS rosenpass

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
pq-wireguard

2 26 10.0 Go pq-adapter-mullvad VS pq-wireguard

Quantum resistant implementation of the WireGuard protocol.
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better pq-adapter-mullvad alternative or higher similarity.

Suggest an alternative to pq-adapter-mullvad

pq-adapter-mullvad reviews and mentions

Posts with mentions or reviews of pq-adapter-mullvad. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-02-28.

Rosenpass – formally verified post-quantum WireGuard
9 projects | news.ycombinator.com | 28 Feb 2023

They maintain separate peers for Pre-quantum and Post-quantum so that connectivity isn't interrupted. Each Pre-quantum peer is implicitly paired with a corresponding Post-quantum peer. Negotiating the PSK happens over a grpc api they expose at `10.64.0.1:1337`. The spec is public, if you're curious: https://github.com/mullvad/mullvadvpn-app/blob/main/talpid-t...
If you're a fuddy-dud like me who uses the Vanilla WireGuard config files, I wrote a tool to upgrade your pre-quantum peer to a post-quantum one. https://github.com/d-z-m/pq-adapter-mullvad