Lib.rs
›
Users
#
sleigh
#
smt-solver
toolCHAINZ
Joined crates-io 2 years ago. Joined GitHub 8 years ago.
GitHub
crates.io
@toolCHAINZ@infosec.exchange
Maintainer dashboard
Shares crates with
waywardmonkeys
,
graydon
,
sameer
,
fitzgen
toolCHAINZ created 3 crates
crackers
Sole owner since Jul 2025. Updated a day ago.
jingle
Sole owner since May 2024. Updated 3 days ago.
jingle_sleigh
Sole owner since May 2024. Updated 4 days ago.
Co-owns 2 crates
z3
65
K
Member since Jul 2025 (5 months)
z3-sys
66
K
Member since Jul 2025 (5 months)