Cryptographic Primitive Code Generation by Fiat (by mit-plv)

Fiat-crypto Alternatives

Similar projects and alternatives to fiat-crypto

  • GitHub repo age

    A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

  • GitHub repo RFCs

    A repository for your Nim proposals. (by nim-lang)

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better fiat-crypto alternative or higher similarity.

Suggest an alternative to fiat-crypto


Posts where fiat-crypto has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-01-31.
  • "Serious" vulnerability found in Libgcrypt, GnuPG's cryptographic library - Help Net Security | 2021-01-31
    I have great hopes for formal verification: - - - -
  • Synthesizing Correct-by-Construction Code for Cryptographic Primitives | 2021-01-03
    A list of projects using the code generated by fiat-crypto: | 2021-01-03


Basic fiat-crypto repo stats
2 days ago

mit-plv/fiat-crypto is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.