Lib.rs

› Programming languages | Development tools › Circomspect
#circom #circomspect #analyzer #linter #dsl #zero-knowledge #static

circomspect-program-structure

by Fredrik Dahlgren and 5 contributors

9 stable releases

2.1.4 Jun 20, 2024
2.1.3 Mar 21, 2023
2.0.11 Nov 29, 2022
2.0.10 Sep 13, 2022
2.0.8 Sep 12, 2022

#468 in Programming languages

Download history 16/week @ 2024-03-28 10/week @ 2024-04-04 6/week @ 2024-04-11 7/week @ 2024-04-18 10/week @ 2024-04-25 1/week @ 2024-05-02 1/week @ 2024-05-09 1/week @ 2024-05-16 3/week @ 2024-05-30 8/week @ 2024-06-06 5/week @ 2024-06-13 137/week @ 2024-06-20 10/week @ 2024-06-27 44/week @ 2024-07-04 8/week @ 2024-07-11

199 downloads per month
Used in 3 crates

LGPL-3.0-only

360KB
9K SLoC

Support crate for the Circomspect static analyzer

Dependencies

~5–15MB
~176K SLoC