Lib.rs

› Users #creusot #contract #proof

Lysxia

Xia Li-yao

Joined crates-io 2 months ago. Joined GitHub 12 years ago.

GitHub
crates.io
Home (poisson.chat)
Maintainer dashboard

Member of GitHub orgs

dissemin, concolism

Shares crates with

Co-owns 6 crates

creusot-contracts

Member since Mar 2025 (2 months)
pearlite-syn

Member since Mar 2025 (2 months)
why3

Member since Mar 2025 (2 months)
creusot-contracts-proc

Member since Mar 2025 (2 months)
creusot-contracts-dummy

Member since Mar 2025 (2 months)
pearlite

Member since Mar 2025 (2 months)

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.