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. ▲ 6
    Hax: Translate a subset of Rust into formal languages
    story by MrBuddyCasino · 2024-03-23 · 0 comments