30 releases

0.2.9 May 12, 2024
0.2.7 Mar 20, 2024
0.2.5 Nov 16, 2023
0.1.20 Apr 1, 2023
0.1.0 Feb 4, 2020

#36 in Cryptography

Download history 210908/week @ 2024-08-06 217620/week @ 2024-08-13 224636/week @ 2024-08-20 203313/week @ 2024-08-27 242941/week @ 2024-09-03 225554/week @ 2024-09-10 370604/week @ 2024-09-17 337990/week @ 2024-09-24 689795/week @ 2024-10-01 886232/week @ 2024-10-08 744091/week @ 2024-10-15 332808/week @ 2024-10-22 263203/week @ 2024-10-29 271392/week @ 2024-11-05 269663/week @ 2024-11-12 236874/week @ 2024-11-19

1,092,137 downloads per month
Used in 2,933 crates (17 directly)

MIT OR Apache-2.0 OR BSD-1-Clause

3.5MB
78K SLoC

Fiat-crypto

This crate provides the extracted Rust code from the Coq fiat-crypto libraries.

License

This project is distributed under the terms of the MIT License, the Apache License (Version 2.0), and the BSD 1-Clause License; users may pick which license to apply.

See COPYRIGHT, LICENSE-MIT, LICENSE-APACHE, and LICENSE-BSD-1 for details.

No runtime deps

Features