Lib.rs

› Development tools › FFI › Sledgehammer
#sledgehammer #sledgehammer-utils #sledgehammer-bindgen

sledgehammer_utils

by Evan Almloff

6 releases

0.3.1 Aug 22, 2024
0.3.0 Aug 22, 2024
0.2.1 Feb 9, 2024
0.2.0 Jul 19, 2023
0.1.0 Dec 3, 2022

#171 in FFI

Download history 5180/week @ 2025-01-04 5937/week @ 2025-01-11 5160/week @ 2025-01-18 4531/week @ 2025-01-25 4924/week @ 2025-02-01 5930/week @ 2025-02-08 5008/week @ 2025-02-15 6108/week @ 2025-02-22 4947/week @ 2025-03-01 6132/week @ 2025-03-08 6489/week @ 2025-03-15 6984/week @ 2025-03-22 5759/week @ 2025-03-29 8275/week @ 2025-04-05 10082/week @ 2025-04-12 7318/week @ 2025-04-19

32,365 downloads per month
Used in 9 crates (3 directly)

MIT license

18KB
496 lines

Utilities for sledgehammer-bindgen

Dependencies

~24KB