Rosenpass Alternatives

Similar projects and alternatives to rosenpass

• mullvadvpn-app

  199 4,390 10.0 Rust rosenpass VS mullvadvpn-app

  The Mullvad VPN client app for desktop and mobile

  

• coq

  87 4,594 10.0 OCaml rosenpass 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 sponsored

  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,761 7.3 Coq rosenpass VS CompCert

  The CompCert formally-verified C compiler

  

• cargo-geiger

  30 1,305 5.4 Rust rosenpass VS cargo-geiger

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

  

• noise

  7 502 3.9 Go rosenpass VS noise

  Go implementation of the Noise Protocol Framework

  

• pq-wireguard

  2 26 10.0 Go rosenpass VS pq-wireguard

  Quantum resistant implementation of the WireGuard protocol.

  

• desktop-app

  20 981 8.6 TypeScript rosenpass VS desktop-app

  TunnlTo is a Windows WireGuard VPN client built for split tunnelling.

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• pq-adapter-mullvad

  1 0 10.0 Go rosenpass VS pq-adapter-mullvad

  Go utility for upgrading pre-quantum Mullvad peers to their post-quantum counterparts