Lib.rs

› Users #biodivine #boolean

xsafran1

David Safranek

Joined crates-io a year ago. Joined GitHub 12 years ago.

GitHub
crates.io
Home (fi.muni.cz)
Maintainer dashboard

Shares crates with

smijeva, ondrej33, daemontus

Co-owns 4 crates

biodivine-lib-bdd

Member since Jan 2023 (a year)
biodivine-lib-param-bn

Member since Jan 2023 (a year)
biodivine-hctl-model-checker

Member since Jan 2023 (a year)
biodivine-pbn-control

Member since Jan 2023 (a year)

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.