fiat-crypto
by mit-plv
Cryptographic Primitive Code Generation by Fiat
AI summary
Code generator
Automated generation of cryptographic primitive code using a constructive design approach
- stars
- 723
- forks
- 147
- watching
- 51
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Data type synthesizer
A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications
Program verifier
Automated verification of higher-order programs using separation logic
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Compiler toolkit
A toolkit for compiling functional programs into imperative code for performance-critical applications
Code generator
An AI model designed to generate and execute code automatically
Bit Vector Library
A repository unifying bit vector definitions and lemmas across multiple Coq projects.
Hardware design language
A formal language for designing and verifying rule-based hardware systems
Crypto implementation
A collection of basic cryptographic algorithms implemented from scratch in C.
Cryptography primitives
Provides cryptographic primitives and signatures for Bitcoin-based systems
QR Code Generator
A minimalistic QR code generator written in Go.
Crypto compiler
A compiler for a constant-time programming language used in cryptography
QR code generator
Generates QR code payloads for WiFi access point credentials
Password generator
A tool that generates password candidates by combining words from an input list using the PRINCE algorithm in a flexible and sequential manner.
Wallet primitives
A collection of primitives for cryptocurrency wallet development
Cryptography guide
A comprehensive resource providing in-depth explanations and practical implementations of advanced cryptographic concepts and techniques.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions fiat-crypto.
