Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org maintainers: shellyg
cvldoc 1.0.1
Utility for reading CERTORA spec files, parse and export their NatSpec comments to JSON files.2 versions - Latest release: over 1 year ago - 299 downloads last month - 1 stars on GitHub - 1 maintainer
certora-cli-alpha-shelly-fixcer-908 20220525.18.19
Runner for the Certora Prover12 versions - Latest release: almost 2 years ago - 1 dependent repositories - 104 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-or-ruleevents 20230502.7.12.115835
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 34 downloads last month - 1 maintainer
certora-cli-alpha-martin-z3-lemmas 20230614.15.18.228622
Runner for the Certora Prover5 versions - Latest release: 11 months ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-equiv 20230616.14.55.454503
Runner for the Certora Prover3 versions - Latest release: 11 months ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-cert-2181-support-currentcontract-in-ghosts 20230516.14.5.438179
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-oz-package-eqchecker 20230411.7.27.849783
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 30 downloads last month - 1 maintainer
certora-cli-blockswap 2.11.2
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: about 2 years ago - 29 downloads last month - 1 maintainer
certora-cli-coinbase 2.4.1
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: about 3 years ago - 15 downloads last month - 1 maintainer
certora-cli-maker-structs 3.0.0
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: over 2 years ago - 1 dependent repositories - 15 downloads last month - 1 maintainer
certora-cli-syndicate 2.6.1
Utilities for building smart contracts for verification using the Certora Prover, and for running...3 versions - Latest release: over 2 years ago - 29 downloads last month - 1 maintainer
certora-cli-scripts-reorg 3.0.11
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: about 2 years ago - 29 downloads last month - 1 maintainer
certora-cli-beta 7.6.2
Runner for the Certora Prover75 versions - Latest release: 5 days ago - 1 dependent repositories - 2.65 thousand downloads last month - 1 maintainer
cvldoc-parser 1.0.1
3 versions - Latest release: over 1 year ago - 1 dependent package - 302 downloads last month - 1 maintainercertora-cli-alpha-cvl-rewrite 20230317.18.29
Runner for the Certora Prover83 versions - Latest release: about 1 year ago - 91 downloads last month - 1 maintainer
Top 3.8% on pypi.org
79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.9 thousand downloads last month - 2 maintainers
certora-cli 20221225.14.17
Runner for the Certora Prover79 versions - Latest release: over 1 year ago - 218 dependent repositories - 10.9 thousand downloads last month - 2 maintainers
certora-cli-maker-structs-staging 3.0.4
Utilities for building smart contracts for verification using the Certora Prover, and for running...2 versions - Latest release: about 2 years ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-shelly-certoraclipublish 20220517.14.39
Runner for the Certora Prover11 versions - Latest release: about 2 years ago - 1 dependent repositories - 98 downloads last month - 1 maintainer
certora-cli-alpha-shelly-trusttokenhf 20220706.17.57
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-eyal-compilercollector 20220725.16.31
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-naftali-library-methods-with-mapping 20221128.17.12
Runner for the Certora Prover1 version - Latest release: over 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-python-wrapper 20230307.20.52
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-dudi-fix-publish-cli-fix-version 20230308.15.12.970160
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-oz-gambit-to-cli 20230312.14.30
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 2 downloads last month - 1 maintainer
certora-cli-alpha-dudi-ci-dynamic 20230314.6.30.405610
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 35 downloads last month - 1 maintainer
certora-cli-alpha-shelly-mutationtestname 20230316.17.59.137147
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 61 downloads last month - 1 maintainer
certora-cli-alpha-shelly-oopsla 20230407.12.37.93178
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 36 downloads last month - 1 maintainer
certora-cli-alpha-nast-gambit-on-the-cloud-phase2 20231003.11.22.780268
Runner for the Certora Prover3 versions - Latest release: 8 months ago - 77 downloads last month - 1 maintainer
certora-cli-alpha-release-2apr2023 20230403.13.38.299304
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-zesty 2.5.4
Utilities for building smart contracts for verification using the Certora Prover, and for running...1 version - Latest release: almost 3 years ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-cozy 20230407.14.48.209420
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 15 downloads last month - 1 maintainer
certora-cli-alpha-shelly-cert3672astariabuild 20231007.21.31.820875
Runner for the Certora Prover1 version - Latest release: 7 months ago - 36 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-revert-mutation-tool 20231129.20.22.551569
Runner for the Certora Prover1 version - Latest release: 6 months ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-shelly-ef 20231127.9.32.271980
Runner for the Certora Prover1 version - Latest release: 6 months ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-shelly-certoraclibeta 20230501.7.58.139255
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors 20230503.8.12.233273
Runner for the Certora Prover23 versions - Latest release: about 1 year ago - 162 downloads last month - 1 maintainer
certora-cli-alpha-thomas-tac-type-checker 20230501.15.50.228171
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 43 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1844-usage 20230515.11.52.774068
Runner for the Certora Prover31 versions - Latest release: about 1 year ago - 377 downloads last month - 1 maintainer
certora-cli-alpha-otakar-single-race-mode2 20230504.21.36.719610
Runner for the Certora Prover23 versions - Latest release: about 1 year ago - 231 downloads last month - 1 maintainer
certora-cli-alpha-eric-pta 20230503.22.48.812882
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-split-calltrace-loop 20230501.17.30.174908
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-niv-add-summary-unittests 20230504.15.45.50229
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 58 downloads last month - 1 maintainer
certora-cli-alpha-shahar-cert-1859 20230504.17.4.16649
Runner for the Certora Prover13 versions - Latest release: about 1 year ago - 29 downloads last month - 1 maintainer
certora-cli-alpha-liav-add-internal-only-lib-support 20230509.9.41.347482
Runner for the Certora Prover10 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-dominik-mus-enumeration-tests 20230503.15.17.377241
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-alex-more-cvlrange-meta 20230504.20.48.701468
Runner for the Certora Prover12 versions - Latest release: about 1 year ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-gmx-set-data 20230501.21.4.812906
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-diagnosability-codeowners-missing-files 20230509.8.42.562952
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-dominik-debug-of-mus-tests 20230503.13.47.900850
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 98 downloads last month - 1 maintainer
certora-cli-alpha-yoav-plus-minus-simplification 20230504.9.13.502435
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 79 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deep2 20230501.16.36.378614
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 35 downloads last month - 1 maintainer
certora-cli-alpha-yoav-signed-stuff-1 20230502.5.0.933135
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 6 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deepfixes 20230501.22.30.717142
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-skey-detection 20230501.10.49.482324
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-ufattribute2enum 20230501.14.41.136763
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 1 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-1920 20230505.6.20.438554
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-abakst-storage-analysis-static-arrays-again 20230501.20.19.383779
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-1897-parametric-instantiation-always 20230507.7.41.137068
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-1849 20230501.11.34.215275
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 38 downloads last month - 1 maintainer
certora-cli-alpha-alex-yuvalbd-merge-3661-hash-families-cherry-pick 20230505.11.0.395012
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 37 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deepsanity 20230501.13.51.275688
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 57 downloads last month - 1 maintainer
certora-cli-alpha-master 20230308.10.23
Runner for the Certora Prover1,857 versions - Latest release: about 1 year ago - 22.3 thousand downloads last month - 2 maintainers
certora-cli-alpha-yoav-fallback-storage-type-bounder 20230502.8.10.983803
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 38 downloads last month - 1 maintainer
certora-cli-alpha-yoav-signed-storage-fix 20230502.6.26.594322
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-eric-serialmodule 20230511.1.31.706962
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-shelly-cert1958errorcodes 20230503.7.29.873188
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 33 downloads last month - 1 maintainer
certora-cli-alpha-assaf-ufattribute2enum 20230504.12.19.415290
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1955-asserthits 20230516.10.21.342035
Runner for the Certora Prover33 versions - Latest release: about 1 year ago - 388 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-show-cvl-functions-in-calltrace 20230510.17.20.560733
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 33 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-add-tests-for-calltrace-functions 20230501.21.47.359678
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 37 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-1982 20230502.9.6.134929
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-1982-2 20230502.13.31.343783
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-uri-eradicate-certora-dir 20230801.15.42.608313
Runner for the Certora Prover51 versions - Latest release: 10 months ago - 130 downloads last month - 1 maintainer
certora-cli-alpha-naftali-library-love 20230502.15.23.505498
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 43 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1891-allocid-c 20230509.15.22.75654
Runner for the Certora Prover11 versions - Latest release: about 1 year ago - 154 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-1987-update-regtest 20230519.15.42.534360
Runner for the Certora Prover53 versions - Latest release: almost 1 year ago - 612 downloads last month - 1 maintainer
certora-cli-alpha-alex-int-to-skey 20230519.16.44.278153
Runner for the Certora Prover4 versions - Latest release: almost 1 year ago - 41 downloads last month - 1 maintainer
certora-cli-alpha-nast-mutation-test-urls 20231030.12.7.334133
Runner for the Certora Prover4 versions - Latest release: 7 months ago - 58 downloads last month - 1 maintainer
certora-cli-alpha-otakar-lxfaddedtoconfig 20230502.16.14.338125
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-eric-autodetekt 20230502.17.24.966353
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-mike-cvl2-migration-errors 20230502.16.43.419119
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 4 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-fixes-python-curse 20230504.11.36.448549
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 29 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1932-rm-query-from-results 20230504.10.8.506518
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-kit-annotation 20230515.11.12.615471
Runner for the Certora Prover22 versions - Latest release: about 1 year ago - 171 downloads last month - 1 maintainer
certora-cli-alpha-alex-salvage-interpreter 20230504.19.58.31213
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-oz-docker-json5 20230515.12.22.699042
Runner for the Certora Prover20 versions - Latest release: about 1 year ago - 161 downloads last month - 1 maintainer
certora-cli-alpha-shelly-usabilityfixserialization 20230504.13.1.808261
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1891-tmpallocexpecttimeout 20230503.15.24.927093
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 15 downloads last month - 1 maintainer
certora-cli-alpha-thomas-fix-address 20230503.19.36.942438
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1891-tmp-alloc 20230503.15.20.405920
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-unsatcoreaggregator 20230504.18.30.108413
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-shelly-postautofinders 20230503.9.45.228329
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-or-treeviewconcurrency 20230504.17.47.763811
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 43 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-1936-multiple-envfree-errors 20230508.9.3.168843
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 73 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-rule-events-error-checking 20230503.17.15.718782
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 33 downloads last month - 1 maintainer
certora-cli-alpha-abakst-storage-analysis-infeasible-states-cvl 20230519.20.32.343967
Runner for the Certora Prover4 versions - Latest release: almost 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-omer-cert-945-inside-assert-the-assumptions-are-not-affect-assert-cast 20230518.13.30.246575
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 68 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1836-autodetect-bv 20230522.11.7.514627
Runner for the Certora Prover14 versions - Latest release: 12 months ago - 141 downloads last month - 1 maintainer
certora-cli-alpha-alex-more-cvlrange-meta-try-ors-fix 20230504.16.5.826473
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer