One step forward, an easier interoperability between Rust and Haskell | IOG Engineering

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Cryptography verified-primitives High Performance Security Formal Methods

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

  • hacl-star

    HACL*, a formally verified cryptographic library written in F*

    • Nice work. About cryptonite: have IOG considered using crypto primitives provided by HACL*/evercrypt?

  • 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
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

  • Awesome Rust Cryptography list compiled by the Rust Cryptography Interest Group (RCIG)

    4 projects | /r/rust | 27 Jul 2021

  • A Memory Safe TLS Module for the Apache HTTP Server

    1 project | /r/rust | 2 Feb 2021

  • F* – A Proof-Oriented Programming Language

    4 projects | news.ycombinator.com | 16 May 2024

  • How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors

    4 projects | news.ycombinator.com | 13 Sep 2021

  • OpenBSD – sshd(8) split into multiple binaries

    2 projects | news.ycombinator.com | 17 May 2024