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

• hax

  3 130 9.9 OCaml

  A Rust verification tool

  

I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...

• bertie

  1 110 9.3 F*

  Bertie TLS 1.3 Implementation

  

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

  

• hacspec

  1 46 - Python

  Please check out https://github.com/hacspec/hacspec for more information on hacspec (by HACS-workshop)

  

hacspec

> This is the successor of https://github.com/HACS-workshop/hacspec but a predecessor of https://github.com/hacspec/hax. Development in this repository has mostly stopped, see hax instead.

• hacspec

  3 235 5.1 Coq

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

  

I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...

Suggest a related project