28 releases

0.2.7 Mar 20, 2024
0.2.5 Nov 16, 2023
0.1.20 Apr 1, 2023
0.1.19 Mar 8, 2023
0.1.0 Feb 4, 2020

#86 in Cryptography

Download history 129696/week @ 2023-12-07 112879/week @ 2023-12-14 78874/week @ 2023-12-21 82586/week @ 2023-12-28 127923/week @ 2024-01-04 134012/week @ 2024-01-11 158702/week @ 2024-01-18 155348/week @ 2024-01-25 148782/week @ 2024-02-01 174851/week @ 2024-02-08 164019/week @ 2024-02-15 179897/week @ 2024-02-22 179009/week @ 2024-02-29 179823/week @ 2024-03-07 174717/week @ 2024-03-14 161849/week @ 2024-03-21

729,606 downloads per month
Used in 1,823 crates (15 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