Lib.rs
›
Users
#
ravencheck
#
abstraction
#
verification
octalsrc
Nick Lewchenko
Joined crates-io 8 years ago. Joined GitHub 12 years ago.
GitHub
crates.io
Maintainer dashboard
octalsrc created 4 crates
ravencheck
Sole owner since Aug 2025. Last updated 2 months ago.
ravencheck-macros
Sole owner since Aug 2025. Last updated 2 months ago.
ravenlang
Sole owner since Aug 2025. Last updated 2 months ago.
fortunelike
Sole owner since Nov 2017. Last updated 8 years ago.