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

#2 in #generated

Download history 312332/week @ 2024-12-02 333599/week @ 2024-12-09 320515/week @ 2024-12-16 128482/week @ 2024-12-23 176089/week @ 2024-12-30 351327/week @ 2025-01-06 408338/week @ 2025-01-13 387651/week @ 2025-01-20 447841/week @ 2025-01-27 460601/week @ 2025-02-03 499111/week @ 2025-02-10 371405/week @ 2025-02-17 358921/week @ 2025-02-24 690852/week @ 2025-03-03 625845/week @ 2025-03-10 839464/week @ 2025-03-17

2,535,005 downloads per month
Used in 3,801 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