Rustlang Cryptography Interest Group & Formal Verification Sync-up Call 2

This page summarizes the projects mentioned and recommended in the original post on /r/rust
hardware-buttons linkedin-bot template-engine-js

InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  1. hacspec

    Discontinued Please see https://github.com/hacspec/hax

    Bas Spitter will be speaking on Hacspec and ConCert

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. ConCert

    A framework for smart contract verification in Coq

    Bas Spitter will be speaking on Hacspec and ConCert

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

  • Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

    5 projects | news.ycombinator.com | 23 Mar 2024

  • Lets goo memory safe asm

    1 project | /r/rustjerk | 4 Aug 2021

  • Design and Explore Noise Handshake Patterns

    1 project | news.ycombinator.com | 5 Mar 2025

  • How concurrecy works: A visual guide

    2 projects | news.ycombinator.com | 20 Dec 2024

  • Zcash Improvement Proposal: Zcash Shielded Assets!

    1 project | /r/CryptoCurrency | 19 May 2022

Did you know that Rust is
the 5th most popular programming language
based on number of references?

Loading...