Hacker GitHub

← All repos

pereq-dev/hax

View on GitHub ↗ ★ 508 Rust

A Rust verification tool

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-03-23 · latest 2024-03-23

Mentions per year 3 mentions · busiest year 2024 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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/4ecc847fc9…
    comment by mdaniel · 2024-03-23 · in Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
  2. 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.
    comment by manfre · 2024-03-23 · in Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
  3. ▲ 6
    Hax: Translate a subset of Rust into formal languages
    story by MrBuddyCasino · 2024-03-23 · 0 comments