Lib.rs

› Users #formal-verification #machine #machine-check #tool #check

onderjan

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

GitHub
crates.io
Maintainer dashboard

onderjan created 9 crates

machine-check-avr

Sole owner since Mar 2024. Last updated a month ago.
machine-check

Sole owner since Oct 2023. Last updated a month ago.
machine-check-exec

Sole owner since Oct 2023. Last updated a month ago.
mck

Sole owner since Oct 2023. Last updated a month ago.
machine-check-macros

Sole owner since Mar 2024. Last updated a month ago.
machine-check-machine

Sole owner since Mar 2024. Last updated a month ago.
machine-check-bitmask-switch

Sole owner since Mar 2024. Last updated a month ago.
machine-check-common

Sole owner since Oct 2023. Last updated a month ago.
btor2rs

Sole owner since Oct 2023. Last updated 10 months 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.