26 releases

0.2.5 Nov 16, 2023
0.2.2 Oct 27, 2023
0.1.20 Apr 1, 2023
0.1.19 Mar 8, 2023
0.1.0 Feb 4, 2020

#93 in Cryptography

Download history 79895/week @ 2023-08-07 84353/week @ 2023-08-14 90802/week @ 2023-08-21 110467/week @ 2023-08-28 92051/week @ 2023-09-04 105274/week @ 2023-09-11 107065/week @ 2023-09-18 98171/week @ 2023-09-25 105250/week @ 2023-10-02 116013/week @ 2023-10-09 120099/week @ 2023-10-16 123805/week @ 2023-10-23 122023/week @ 2023-10-30 128455/week @ 2023-11-06 145232/week @ 2023-11-13 122154/week @ 2023-11-20

524,353 downloads per month
Used in 1,206 crates (13 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