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
certora-cli-alpha-eric-gvn 20230518.0.37.225030
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-eric-gvn 20230518.0.37.225030
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
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 - 2 maintainers
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 - 2 maintainers
certora-cli-alpha-jtoman-direct-storage-comparison 20230515.19.37.464460
Runner for the Certora Prover8 versions - Latest release: 12 months ago - 70 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-direct-storage-comparison 20230515.19.37.464460
Runner for the Certora Prover8 versions - Latest release: 12 months ago - 70 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-direct-balance-access 20230522.17.34.392534
Runner for the Certora Prover1 version - Latest release: 12 months ago - 24 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-direct-balance-access 20230522.17.34.392534
Runner for the Certora Prover1 version - Latest release: 12 months ago - 24 downloads last month - 2 maintainers
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 - 2 maintainers
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 - 2 maintainers
certora-cli-alpha-shays-cert-2066-b 20230518.17.2.39762
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 106 downloads last month - 2 maintainers
certora-cli-alpha-shays-cert-2066-b 20230518.17.2.39762
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 106 downloads last month - 2 maintainers
certora-cli-alpha-eric-topofstack 20230510.0.34.798237
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 53 downloads last month - 2 maintainers
certora-cli-alpha-eric-topofstack 20230510.0.34.798237
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 53 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-rule-events-error-checking-part-two 20230508.19.46.758341
Runner for the Certora Prover12 versions - Latest release: 12 months ago - 24 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-rule-events-error-checking-part-two 20230508.19.46.758341
Runner for the Certora Prover12 versions - Latest release: 12 months ago - 24 downloads last month - 2 maintainers
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 - 2 maintainers
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 - 2 maintainers
certora-cli-alpha-yoav-overapproximate-signextend 20230518.8.22.655051
Runner for the Certora Prover1 version - Latest release: 12 months ago - 16 downloads last month - 2 maintainers
certora-cli-alpha-yoav-overapproximate-signextend 20230518.8.22.655051
Runner for the Certora Prover1 version - Latest release: 12 months ago - 16 downloads last month - 2 maintainers
certora-cli-alpha-yoav-static-arrays-splitting 20230511.16.40.431204
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 49 downloads last month - 2 maintainers
certora-cli-alpha-yoav-static-arrays-splitting 20230511.16.40.431204
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 49 downloads last month - 2 maintainers
certora-cli-alpha-uri-remove-last-conf-dir 20230518.8.32.911155
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 62 downloads last month - 2 maintainers
certora-cli-alpha-uri-remove-last-conf-dir 20230518.8.32.911155
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 62 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 20230524.8.19.696974
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 31 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 20230524.8.19.696974
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 31 downloads last month - 2 maintainers
certora-cli-alpha-rahav-mymaster 20230506.2.48.399431
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 21 downloads last month - 2 maintainers
certora-cli-alpha-rahav-mymaster 20230506.2.48.399431
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 21 downloads last month - 2 maintainers
certora-cli-alpha-shelly-nicerresultstxt 20230504.13.48.826753
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 10 downloads last month - 2 maintainers
certora-cli-alpha-shelly-nicerresultstxt 20230504.13.48.826753
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 10 downloads last month - 2 maintainers
certora-cli-alpha-shelly-jumptodefreport 20230520.12.34.386718
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-shelly-jumptodefreport 20230520.12.34.386718
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-shelly-rulecachedisable 20230505.9.20.495524
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 downloads last month - 2 maintainers
certora-cli-alpha-shelly-rulecachedisable 20230505.9.20.495524
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 downloads last month - 2 maintainers
certora-cli-alpha-thomas-doc-type-checker 20230522.23.21.1150
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 52 downloads last month - 2 maintainers
certora-cli-alpha-thomas-doc-type-checker 20230522.23.21.1150
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 52 downloads last month - 2 maintainers
certora-cli-alpha-naftali-cert-1897-parametric-instantiation-always 20230507.7.41.137068
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-antti-lemma-type-filter 20230523.13.10.116586
Runner for the Certora Prover1 version - Latest release: 12 months ago - 7 downloads last month - 2 maintainers
certora-cli-alpha-antti-lemma-type-filter 20230523.13.10.116586
Runner for the Certora Prover1 version - Latest release: 12 months ago - 7 downloads last month - 2 maintainers
certora-cli-alpha-guy-sanity-in-problems 20230516.17.0.407223
Runner for the Certora Prover1 version - Latest release: 12 months ago - 6 downloads last month - 2 maintainers
certora-cli-alpha-guy-sanity-in-problems 20230516.17.0.407223
Runner for the Certora Prover1 version - Latest release: 12 months ago - 6 downloads last month - 2 maintainers
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 27 downloads last month - 2 maintainers
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 27 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover 20230510.15.46.300631
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 38 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover 20230510.15.46.300631
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 38 downloads last month - 2 maintainers
certora-cli-alpha-alex-handle-array-index-subtraction 20230511.15.25.260028
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 45 downloads last month - 2 maintainers
certora-cli-alpha-alex-handle-array-index-subtraction 20230511.15.25.260028
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 45 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-cert-2122 20230520.1.51.715316
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-cert-2122 20230520.1.51.715316
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-shahar-valuerangeanalysis 20230507.6.53.61010
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 27 downloads last month - 2 maintainers
certora-cli-alpha-shahar-valuerangeanalysis 20230507.6.53.61010
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 27 downloads last month - 2 maintainers
certora-cli-alpha-martin-sflag 20230522.13.19.110100
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 41 downloads last month - 2 maintainers
certora-cli-alpha-martin-sflag 20230522.13.19.110100
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 41 downloads last month - 2 maintainers
certora-cli-alpha-alexstolr-treeviewpath-hash 20230518.7.6.738699
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 49 downloads last month - 2 maintainers
certora-cli-alpha-alexstolr-treeviewpath-hash 20230518.7.6.738699
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 49 downloads last month - 2 maintainers
certora-cli-alpha-martin-lemmas-refactor 20230526.13.22.461529
Runner for the Certora Prover1 version - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-martin-lemmas-refactor 20230526.13.22.461529
Runner for the Certora Prover1 version - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-alexstolr-events-metadata-json 20230504.19.14.590865
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 45 downloads last month - 2 maintainers
certora-cli-alpha-alexstolr-events-metadata-json 20230504.19.14.590865
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 45 downloads last month - 2 maintainers
certora-cli-alpha-assaf-verifytacdump 20230522.8.35.326662
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 47 downloads last month - 2 maintainers
certora-cli-alpha-assaf-verifytacdump 20230522.8.35.326662
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 47 downloads last month - 2 maintainers
certora-cli-alpha-antti-learned-lemma-passing-cvl2 20230517.9.39.262005
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 38 downloads last month - 2 maintainers
certora-cli-alpha-antti-learned-lemma-passing-cvl2 20230517.9.39.262005
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 38 downloads last month - 2 maintainers
certora-cli-alpha-eyalf-improve-iscopyloop 20230509.14.7.115101
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-eyalf-improve-iscopyloop 20230509.14.7.115101
Runner for the Certora Prover1 version - Latest release: 12 months ago - 20 downloads last month - 2 maintainers
certora-cli-alpha-assaf-tacsummaryandannotationserialize 20230523.12.59.505732
Runner for the Certora Prover9 versions - Latest release: 12 months ago - 77 downloads last month - 2 maintainers
certora-cli-alpha-assaf-tacsummaryandannotationserialize 20230523.12.59.505732
Runner for the Certora Prover9 versions - Latest release: 12 months ago - 77 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-non-empty-list-soundness 20230509.10.41.463517
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 30 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-non-empty-list-soundness 20230509.10.41.463517
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 30 downloads last month - 2 maintainers
certora-cli-alpha-antti-symbol-counter 20230526.18.43.740525
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 48 downloads last month - 2 maintainers
certora-cli-alpha-antti-symbol-counter 20230526.18.43.740525
Runner for the Certora Prover4 versions - Latest release: 12 months ago - 48 downloads last month - 2 maintainers
certora-cli-alpha-or-disableautogenassertfiltering 20230508.13.40.267174
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 34 downloads last month - 2 maintainers
certora-cli-alpha-or-disableautogenassertfiltering 20230508.13.40.267174
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 34 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-2195-separate-query-from-result 20230517.6.58.428550
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-gereon-cert-2195-separate-query-from-result 20230517.6.58.428550
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-kit-annotation 20230515.11.12.615471
Runner for the Certora Prover22 versions - Latest release: 12 months ago - 171 downloads last month - 2 maintainers
certora-cli-alpha-kit-annotation 20230515.11.12.615471
Runner for the Certora Prover22 versions - Latest release: 12 months ago - 171 downloads last month - 2 maintainers
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 - 2 maintainers
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 - 2 maintainers
certora-cli-alpha-eyalf-show-skolem-in-calltrace 20230528.12.43.191738
Runner for the Certora Prover1 version - Latest release: 11 months ago - 19 downloads last month - 2 maintainers
certora-cli-alpha-eyalf-show-skolem-in-calltrace 20230528.12.43.191738
Runner for the Certora Prover1 version - Latest release: 11 months ago - 19 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-less-verbose-errors 20230511.17.50.270148
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 48 downloads last month - 2 maintainers
certora-cli-alpha-yuvalbd-less-verbose-errors 20230511.17.50.270148
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 48 downloads last month - 2 maintainers
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 - 2 maintainers
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 - 2 maintainers
certora-cli-alpha-shelly-certoraclipublish 20220517.14.39
Runner for the Certora Prover11 versions - Latest release: almost 2 years ago - 1 dependent repositories - 98 downloads last month - 2 maintainers
certora-cli-alpha-shelly-certoraclipublish 20220517.14.39
Runner for the Certora Prover11 versions - Latest release: almost 2 years ago - 1 dependent repositories - 98 downloads last month - 2 maintainers
certora-cli-alpha-benkushigian-gambit-refactor 20230515.21.33.922374
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 60 downloads last month - 2 maintainers
certora-cli-alpha-benkushigian-gambit-refactor 20230515.21.33.922374
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 60 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-source-copy-refactor 20230521.12.47.845196
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-jtoman-source-copy-refactor 20230521.12.47.845196
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 18 downloads last month - 2 maintainers
certora-cli-alpha-naftali-cert-2194-hook-inlining-bad-call-index 20230517.9.15.682006
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 14 downloads last month - 2 maintainers
certora-cli-alpha-naftali-cert-2194-hook-inlining-bad-call-index 20230517.9.15.682006
Runner for the Certora Prover3 versions - Latest release: 12 months ago - 14 downloads last month - 2 maintainers
certora-cli-alpha-rahav-cert-2189-bad-error-message 20230516.14.37.433574
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 79 downloads last month - 2 maintainers
certora-cli-alpha-rahav-cert-2189-bad-error-message 20230516.14.37.433574
Runner for the Certora Prover5 versions - Latest release: 12 months ago - 79 downloads last month - 2 maintainers
certora-cli-alpha-shays-cert-1717-b 20230517.14.20.616146
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 93 downloads last month - 2 maintainers
certora-cli-alpha-shays-cert-1717-b 20230517.14.20.616146
Runner for the Certora Prover7 versions - Latest release: 12 months ago - 93 downloads last month - 2 maintainers
certora-cli-alpha-eric-kotlin1.8 20230508.22.50.172887
Runner for the Certora Prover12 versions - Latest release: 12 months ago - 19 downloads last month - 2 maintainers
certora-cli-alpha-eric-kotlin1.8 20230508.22.50.172887
Runner for the Certora Prover12 versions - Latest release: 12 months ago - 19 downloads last month - 2 maintainers
certora-cli-alpha-yoav-faster-signextend 20230517.18.6.670401
Runner for the Certora Prover2 versions - Latest release: 12 months ago - 59 downloads last month - 2 maintainers