Hacker GitHub

← All repos

mit-plv/fiat-crypto

View on GitHub ↗ ★ 851 Rocq Prover

Cryptographic Primitive Code Generation by Fiat

13 mentions on Hacker News by 12 people: 2 stories, 11 comments · first 2020-04-21 · latest 2026-10-24

Mentions per year 13 mentions · busiest year 2021 (6)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    fiat-crypto: Cryptographic Primitive Code Generation by Fiat
    story by rdpintqogeogsaa · 2022-06-17 · 0 comments
  2. ▲ 78
    Synthesizing Correct-by-Construction Code for Cryptographic Primitives
    story by johlo · 2021-01-03 · 2 comments