10 releases

0.1.9 Oct 4, 2021
0.1.8 May 18, 2021
0.1.7 Apr 28, 2021
0.1.6 Jan 5, 2021
0.1.0 Feb 4, 2020

#220 in Cryptography

Download history 2799/week @ 2021-07-04 2677/week @ 2021-07-11 3733/week @ 2021-07-18 3643/week @ 2021-07-25 3101/week @ 2021-08-01 3069/week @ 2021-08-08 2409/week @ 2021-08-15 2424/week @ 2021-08-22 2424/week @ 2021-08-29 2931/week @ 2021-09-05 3692/week @ 2021-09-12 3704/week @ 2021-09-19 3414/week @ 2021-09-26 3524/week @ 2021-10-03 4522/week @ 2021-10-10 4254/week @ 2021-10-17

13,019 downloads per month
Used in 7 crates (3 directly)

MIT OR Apache-2.0 OR BSD-1-Clause

2MB
40K 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