Sunbeam Studios

Our open-source projects, here for you!

Portugal

https://sunbeam.pt

Repositories

20

Projects Packages

fiat-crypto (0.2.9)

Published 2026-03-26 10:57:57 +00:00 by siennathesane

Installation

Set up this registry in the Cargo configuration file (for example ~/.cargo/config.toml):

[registry]
default = "gitea"

[registries.gitea]
index = "sparse+" # Sparse index
# index = "" # Git

[net]
git-fetch-with-cli = true

To install the package using Cargo, run the following command:

cargo add fiat-crypto@0.2.9

For more information on the Cargo registry, see the documentation.

About this package

Fiat-crypto generated Rust

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.

Details

Cargo

2026-03-26 10:57:57 +00:00

0

Fiat Crypto library authors <jgross@mit.edu>

Project Site

Repository Site

MIT OR Apache-2.0 OR BSD-1-Clause

484 KiB

Assets (1)

fiat-crypto-0.2.9.crate 484 KiB

Versions (1) View all

0.2.9 2026-03-26