mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Coding agents & assistantsActive (pushed in the last 90 days)Rocq Prover 181created 2015-09-10

Stars

850

1-day growth

—

7-day growth

—

30-day growth

—

Star history

Tracked since 2026-11-14

The chart appears after at least 2 days of data.

Top contributors

Not collected yet (contributors job).

mit-plv/fiat-crypto: stars & growth · TopRepo