Lib.rs

› Users #sel4 #interface

lsf37

Gerwin Klein

Joined crates-io 7 months ago. Joined GitHub 10 years ago.

GitHub
crates.io
Home (doclsf.de)
@lsf37@mstdn.social
Maintainer dashboard

Member of GitHub orgs

seL4, jflex-de, Proofcraft

Shares crates with

Co-owns 3 crates

sel4

Member since Sep 2023 (7 months)
sel4-start

Member since Sep 2023 (7 months)
sel4-sys

Member since Sep 2023 (7 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.