← Back to Discover
shackle-rs

shackle-rs/shackle

RustMPL-2.0active
66Health

A constraint modelling and rewriting library and compiler framework written in rust

Stars32
Forks8
Open Issues7
Contributors8
Last Push0d ago

Health Breakdown

Activity
25
Community
13
Maintenance
10
Popularity
18
View on GitHub ↗Issues (7) ↗Pull Requests ↗

Should you contribute to shackle-rs/shackle?

shackle-rs/shackle has a FoundDev health score of 66/100, which means activity is steady but not booming. Worth contributing to if the project is in your wheelhouse, but expect slower review cycles than a top-tier repo.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Rust, so prior Rust experience will shorten ramp-up.

Licensed under MPL-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

shackle-rs66

A constraint modelling and rewriting library and compiler framework written in rust

active
328 contributors7 issues
0d ago

More Rust repos

MystenLabs
MystenLabs/sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
7.7k97
paradigmxyz
paradigmxyz/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
5.7k92
kornelski
kornelski/rust-security-framework
Bindings to the macOS Security.framework
30291