fiat-crypto
Code generator
Automated generation of cryptographic primitive code using a constructive design approach
Cryptographic Primitive Code Generation by Fiat
723 stars
51 watching
147 forks
Language: Coq
last commit: 3 months ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
| mit-plv/fiat | A Coq-based library for synthesizing correct-by-construction abstract data types and parsers from formal specifications | 149 |
| mit-plv/bedrock | Automated verification of higher-order programs using separation logic | 57 |
| mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 42 |
| mit-plv/rupicola | A toolkit for compiling functional programs into imperative code for performance-critical applications | 51 |
 bin123apple/autocoder | An AI model designed to generate and execute code automatically | 816 |
| mit-plv/bbv | A repository unifying bit vector definitions and lemmas across multiple Coq projects. | 27 |
| mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 143 |
 b-con/crypto-algorithms | A collection of basic cryptographic algorithms implemented from scratch in C. | 1,847 |
 21-dot-dev/swift-secp256k1 | Provides cryptographic primitives and signatures for Bitcoin-based systems | 113 |
 piglig/go-qr | A minimalistic QR code generator written in Go. | 34 |
 plsyssec/fact | A compiler for a constant-time programming language used in cryptography | 198 |
 make-github-pseudonymous-again/qrap | Generates QR code payloads for WiFi access point credentials | 7 |
 hashcat/princeprocessor | A tool that generates password candidates by combining words from an input list using the PRINCE algorithm in a flexible and sequential manner. | 434 |
 elementsproject/libwally-core | A collection of primitives for cryptocurrency wallet development | 287 |
 cryptosubtlety/intuitive-advanced-cryptography | A comprehensive resource providing in-depth explanations and practical implementations of advanced cryptographic concepts and techniques. | 430 |