Idris2-tls Alternatives

Similar projects and alternatives to idris2-tls based on common topics and language

siphash-cryptol

1 3 10.0 idris2-tls VS siphash-cryptol

Cryptol specification of the SipHash function
s2n

9 4,449 9.5 C idris2-tls VS s2n

An implementation of the TLS/SSL protocols
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.
OpenSSL

150 24,186 9.9 C idris2-tls VS OpenSSL

TLS/SSL and crypto library
keccak-cryptol

1 3 10.0 idris2-tls VS keccak-cryptol

Cryptol specification of the Keccak (SHA-3) hash function
simon-and-speck

1 1 0.0 idris2-tls VS simon-and-speck

Cryptol specification of the Simon and Speck block ciphers
sslyze

10 3,138 7.5 Python idris2-tls VS sslyze

Fast and powerful SSL/TLS scanning library.
wolfssl

12 2,173 9.9 C idris2-tls VS wolfssl

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!
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.

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

Suggest an alternative to idris2-tls

idris2-tls reviews and mentions

Posts with mentions or reviews of idris2-tls. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-12-24.