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-shelly-cert3672astariabuild 20231007.21.31.820875
Runner for the Certora Prover
1 version - Latest release: 8 months ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-morpho-equiv 20230627.14.19.126621
Runner for the Certora Prover
16 versions - Latest release: 12 months ago - 61 downloads last month - 1 maintainer
certora-cli-alpha-reentrancy 20230807.19.35.246204
Runner for the Certora Prover
1 version - Latest release: 10 months ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-thomas-tac-type-checker 20230501.15.50.228171
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-maker-multicall 20240309.17.30.434038
Runner for the Certora Prover
1 version - Latest release: 3 months ago - 46 downloads last month - 1 maintainer
certora-cli-alpha-martin-lemmas-test 20230707.14.24.752858
Runner for the Certora Prover
1 version - Latest release: 11 months ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-sitvanit-set-can-be-empty 20230515.14.51.126518
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-shelly-fixgambit 20230709.19.53.753095
Runner for the Certora Prover
6 versions - Latest release: 11 months ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-niv-fix-check-results 20230510.21.10.605620
Runner for the Certora Prover
12 versions - Latest release: about 1 year ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-cert-2181-support-currentcontract-in-ghosts 20230516.14.5.438179
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-martin-z3-lemmas 20230614.15.18.228622
Runner for the Certora Prover
5 versions - Latest release: 12 months ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-martin-lemmas-refactor 20230526.13.22.461529
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-function-signature-formatting 20230518.16.55.77692
Runner for the Certora Prover
19 versions - Latest release: about 1 year ago - 70 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-equiv 20230616.14.55.454503
Runner for the Certora Prover
3 versions - Latest release: 12 months ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-yoav-plus-minus-simplification 20230504.9.13.502435
Runner for the Certora Prover
7 versions - Latest release: about 1 year ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-1861-c 20230507.13.57.394614
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-thomas-library-tests 20230508.22.43.867229
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-antti-lemma-type-filter 20230523.13.10.116586
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-shelly-mutationtestname 20230316.17.59.137147
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-benkushigian-gambit-refactor 20230515.21.33.922374
Runner for the Certora Prover
7 versions - Latest release: about 1 year ago - 36 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-1883-support-multiple-blocks-in-hook 20230515.10.23.851666
Runner for the Certora Prover
8 versions - Latest release: about 1 year ago - 62 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-2122 20230520.1.51.715316
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 29 downloads last month - 1 maintainer
certora-cli-alpha-thomas-condexp-fix 20230510.17.22.63427
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 13 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-full-support-for-types 20230524.0.48.956045
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-liveness-fix 20230510.19.6.741990
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-shelly-usabilityfixserialization 20230504.13.1.808261
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-dudi-fix-publish-cli-fix-version 20230308.15.12.970160
Runner for the Certora Prover
1 version - Latest release: over 1 year ago - 22 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-rule-events-error-checking-part-two 20230508.19.46.758341
Runner for the Certora Prover
12 versions - Latest release: about 1 year ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-uri-use-certora-cli-req-in-publish-script 20230517.18.55.375777
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-shahar-valuerangeanalysis 20230507.6.53.61010
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 27 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2093-update-gradle-git-version 20230510.8.10.116752
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-niv-add-summary-unittests 20230504.15.45.50229
Runner for the Certora Prover
6 versions - Latest release: about 1 year ago - 58 downloads last month - 1 maintainer
certora-cli-alpha-mike-consolidate-errors 20230523.19.24.524689
Runner for the Certora Prover
8 versions - Latest release: about 1 year ago - 37 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-ucstats2 20230514.19.10.306778
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 50 downloads last month - 1 maintainer
certora-cli-alpha-nast-mutation-test 20230905.8.3.707745
Runner for the Certora Prover
9 versions - Latest release: 9 months ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-gmx-set-data 20230501.21.4.812906
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-thomas-doc-cvl-type 20230509.0.6.796195
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 10 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 - 13 downloads last month - 1 maintainer
certora-cli-alpha-nast-gambit-on-the-cloud-phase2 20231003.11.22.780268
Runner for the Certora Prover
3 versions - Latest release: 8 months ago - 77 downloads last month - 1 maintainer
certora-cli-alpha-yoav-signed-stuff-1 20230502.5.0.933135
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 13 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-2259 20230528.11.10.175064
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-eytan-inline-instrumentation 20230611.12.54.380387
Runner for the Certora Prover
4 versions - Latest release: almost 1 year ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-alex-salvage-interpreter 20230504.19.58.31213
Runner for the Certora Prover
6 versions - Latest release: about 1 year ago - 23 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-alpha-eric-gvn 20230518.0.37.225030
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 14 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-2066-b 20230518.17.2.39762
Runner for the Certora Prover
7 versions - Latest release: about 1 year ago - 106 downloads last month - 1 maintainer
certora-cli-alpha-eytan-view-reentrency 20230521.11.8.373586
Runner for the Certora Prover
14 versions - Latest release: about 1 year ago - 113 downloads last month - 1 maintainer
certora-cli-alpha-samwise-add-mutation-features 20230726.20.23.790285
Runner for the Certora Prover
3 versions - Latest release: 11 months ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-yoav-static-arrays-splitting 20230511.16.40.431204
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 49 downloads last month - 1 maintainer
certora-cli-alpha-shelly-nicerresultstxt 20230504.13.48.826753
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacbifalias 20230510.12.40.215656
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-thomas-doc-type-checker 20230522.23.21.1150
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 32 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-direct-storage-comparison 20230515.19.37.464460
Runner for the Certora Prover
8 versions - Latest release: about 1 year ago - 39 downloads last month - 1 maintainer
certora-cli-alpha-alex-mapdefinition-tacvalue 20230517.13.41.849820
Runner for the Certora Prover
7 versions - Latest release: about 1 year ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-1897-parametric-instantiation-always 20230507.7.41.137068
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-shelly-rulecachedisable 20230505.9.20.495524
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-treeviewpath-hash 20230518.7.6.738699
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-yoav-overapproximate-signextend 20230518.8.22.655051
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-direct-balance-access 20230522.17.34.392534
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor 20230524.8.19.696974
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 15 downloads last month - 1 maintainer
certora-cli-alpha-eric-topofstack 20230510.0.34.798237
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 53 downloads last month - 1 maintainer
certora-cli-alpha-shelly-jumptodefreport 20230520.12.34.386718
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-or-treeviewconcurrency 20230504.17.47.763811
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-kit-annotation 20230515.11.12.615471
Runner for the Certora Prover
22 versions - Latest release: about 1 year ago - 109 downloads last month - 1 maintainer
certora-cli-alpha-or-disableautogenassertfiltering 20230508.13.40.267174
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-events-metadata-json 20230504.19.14.590865
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-martin-sflag 20230522.13.19.110100
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-improve-iscopyloop 20230509.14.7.115101
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover
1 version - Latest release: about 2 years ago - 20 downloads last month - 1 maintainer
certora-cli-alpha-uri-remove-last-conf-dir 20230518.8.32.911155
Runner for the Certora Prover
7 versions - Latest release: about 1 year ago - 33 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2195-separate-query-from-result 20230517.6.58.428550
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-rahav-mymaster 20230506.2.48.399431
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-antti-learned-lemma-passing-cvl2 20230517.9.39.262005
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 14 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover 20230510.15.46.300631
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-guy-sanity-in-problems 20230516.17.0.407223
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 8 downloads last month - 1 maintainer
certora-cli-alpha-alex-handle-array-index-subtraction 20230511.15.25.260028
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-show-skolem-in-calltrace 20230528.12.43.191738
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1955-quickfix 20230518.10.8.816844
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 6 downloads last month - 1 maintainer
certora-cli-alpha-assaf-verifytacdump 20230522.8.35.326662
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-ufattribute2enum 20230501.14.41.136763
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-1884-prevent-solidity-func-as-summary 20230515.8.39.616713
Runner for the Certora Prover
6 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer
certora-cli-alpha-shays-roy-cert-1891-allocid-c 20230509.9.5.369883
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 6 downloads last month - 1 maintainer
certora-cli-alpha-nast-mutation-test-urls 20231030.12.7.334133
Runner for the Certora Prover
4 versions - Latest release: 7 months ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-parallelsplitting 20230523.13.31.326556
Runner for the Certora Prover
6 versions - Latest release: about 1 year ago - 41 downloads last month - 1 maintainer
certora-cli-alpha-antti-symbol-counter 20230526.18.43.740525
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-or-cvlserialization2 20230518.17.59.543647
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-less-verbose-errors 20230511.17.50.270148
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacsummaryandannotationserialize 20230523.12.59.505732
Runner for the Certora Prover
9 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deepsanity 20230501.13.51.275688
Runner for the Certora Prover
6 versions - Latest release: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-alex-yuvalbd-merge-3661-hash-families-cherry-pick 20230505.11.0.395012
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deepfixes 20230501.22.30.717142
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-non-empty-list-soundness 20230509.10.41.463517
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-skey-detection 20230501.10.49.482324
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 9 downloads last month - 1 maintainer
certora-cli-alpha-shelly-certoraclipublish 20220517.14.39
Runner for the Certora Prover
11 versions - Latest release: about 2 years ago - 1 dependent repositories - 67 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-enable-default-events 20230504.19.39.511001
Runner for the Certora Prover
1 version - Latest release: about 1 year ago - 6 downloads last month - 1 maintainer
certora-cli-alpha-shelly-postautofinders 20230503.9.45.228329
Runner for the Certora Prover
2 versions - Latest release: about 1 year ago - 14 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-source-copy-refactor 20230521.12.47.845196
Runner for the Certora Prover
5 versions - Latest release: about 1 year ago - 24 downloads last month - 1 maintainer
certora-cli-alpha-shelly-releasewithci 20230512.8.59.390786
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 31 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-2194-hook-inlining-bad-call-index 20230517.9.15.682006
Runner for the Certora Prover
3 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-2050-convert-bool-internal-summary-arguments 20230514.21.18.812006
Runner for the Certora Prover
4 versions - Latest release: about 1 year ago - 28 downloads last month - 1 maintainer