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

#33 in Cryptography

Download history 278608/week @ 2024-11-16 262638/week @ 2024-11-23 306124/week @ 2024-11-30 329684/week @ 2024-12-07 329396/week @ 2024-12-14 127226/week @ 2024-12-21 171113/week @ 2024-12-28 335238/week @ 2025-01-04 408647/week @ 2025-01-11 385527/week @ 2025-01-18 444529/week @ 2025-01-25 465759/week @ 2025-02-01 491900/week @ 2025-02-08 380523/week @ 2025-02-15 363894/week @ 2025-02-22 668493/week @ 2025-03-01

1,994,822 downloads per month
Used in 3,630 crates (18 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