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

#63 in Cryptography

Download history 223405/week @ 2024-08-22 208965/week @ 2024-08-29 240118/week @ 2024-09-05 223930/week @ 2024-09-12 375480/week @ 2024-09-19 396248/week @ 2024-09-26 798296/week @ 2024-10-03 736787/week @ 2024-10-10 765768/week @ 2024-10-17 307950/week @ 2024-10-24 266862/week @ 2024-10-31 264105/week @ 2024-11-07 277329/week @ 2024-11-14 288364/week @ 2024-11-21 271977/week @ 2024-11-28 259906/week @ 2024-12-05

1,145,321 downloads per month
Used in 2,993 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