We made a TLS library in Idris. Any feedback is welcome!

This page summarizes the projects mentioned and recommended in the original post on /r/Idris
idris2 Tls13 TLS idris2-ecosystem Cryptography

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • idris2-tls

    A portable idris2 implementation of TLS

  • siphash-cryptol

    Cryptol specification of the SipHash function

  • InfluxDB

    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.

    InfluxDB logo

  • keccak-cryptol

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

  • simon-and-speck

    Cryptol specification of the Simon and Speck block ciphers

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • A portable idris2 implementation of TLS 1.2 and TLS 1.3 protocol

    1 project | news.ycombinator.com | 26 Dec 2021

  • Heartbleed and XZ Backdoor Learnings: Open Source Infrastructure Can Be Improved Efficiently With Moderate Funding

    2 projects | dev.to | 7 Apr 2024

  • Ask HN: How does the xz backdoor replace RSA_public_decrypt?

    1 project | news.ycombinator.com | 1 Apr 2024

  • Pingora: HTTP Server and Proxy Library, in Rust, by Cloudflare, Released

    6 projects | news.ycombinator.com | 28 Feb 2024

  • Terrapin-Scanner VS CryptoLyzer - a user suggested alternative

    2 projects | 14 Jan 2024