Lib.rs

› Users #hax #engine #driver

W95Psp

Lucas Franceschino

Joined crates-io 11 months ago. Joined GitHub 14 years ago.

GitHub
crates.io
Home (lucas.franceschino.fr)
Maintainer dashboard

Shares crates with

maximebuyse, franziskuskiefer

W95Psp created 5 crates

hax-bounded-integers

‼️ Founded in Oct 2024. Updated a week ago.
hax-driver

‼️ Founded in Oct 2024. Updated a week ago.
hax-types

Founded in Oct 2024. Updated a week ago.
hax-rust-engine

Sole owner since Sep 2025. Updated a week ago.
hax-rust-engine-macros

‼️ Sole owner since Sep 2025. Updated a week ago.

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.