Elle | Client Rust | |
---|---|---|
Stars | 591 | 348 |
Downloads | ||
Dependent Packages | 5 | |
Dependent Repos | ||
Most Recent Commit | 3 months ago | 4 months ago |
Total Releases | 3 | 5 |
Latest Release | June 11, 2020 | November 21, 2023 |
Open Issues | 5 | 58 |
License | epl-2.0 | apache-2.0 |
Programming Language | Isabelle | Rust |