Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat
https://github.com/mit-plv/fiat-crypto

Last synced: about 2 months ago
JSON representation

Cryptographic Primitive Code Generation by Fiat

Host: GitHub
URL: https://github.com/mit-plv/fiat-crypto
Owner: mit-plv
License: other
Created: 2015-09-10T20:29:16.000Z (about 9 years ago)
Default Branch: master
Last Pushed: 2024-04-22T13:35:05.000Z (5 months ago)
Last Synced: 2024-04-22T13:47:51.232Z (5 months ago)
Language: Coq
Homepage: http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Size: 164 MB
Stars: 686
Watchers: 55
Forks: 144
Open Issues: 146
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
- Authors: AUTHORS