pypi.org maintainers: shellyg
View the packages maintained by shellyg on the pypi.org package registry, including their contributions and dependencies.
certora-cli-alpha-eyalh-loopsnippet 20230509.19.57.140937
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 191 downloads last month - 1 maintainer
certora-cli-alpha-shelly-betterglobalerrormessaging 20230516.13.41.287678
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 75 downloads last month - 1 maintainer
certora-cli-alpha-dudi-cert-2090 20230518.11.36.157029
Runner for the Certora Prover8 versions - Latest release: almost 2 years ago - 227 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 2 years ago - 135 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-2201 20230524.17.12.624676
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 199 downloads last month - 1 maintainer
certora-cli-alpha-yoav-signed-stuff-1 20230502.5.0.933135
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 81 downloads last month - 1 maintainer
certora-cli-alpha-martin-lemmas-refactor 20230526.13.22.461529
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 46 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-calltraceerrorstoproblemview 20230504.10.52.611423
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-liveness-fix 20230510.19.6.741990
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 170 downloads last month - 1 maintainer
certora-cli-alpha-shelly-bettercertoraexception 20230508.16.25.408704
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 49 downloads last month - 1 maintainer
certora-cli-alpha-eric-topofstack 20230510.0.34.798237
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 195 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: almost 2 years ago - 43 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-1982 20230502.9.6.134929
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 44 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-optimize-imports 20230519.14.8.976057
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 82 downloads last month - 1 maintainer
certora-cli-alpha-uri-eradicate-certora-dir 20230801.15.42.608313
Runner for the Certora Prover51 versions - Latest release: over 1 year ago - 1.75 thousand downloads last month - 1 maintainer
certora-cli-alpha-cnandi-python-wrapper 20230307.20.52
Runner for the Certora Prover3 versions - Latest release: about 2 years ago - 128 downloads last month - 1 maintainer
certora-cli-alpha-eric-internalsummarizer 20230515.16.36.972503
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 91 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: almost 2 years ago - 96 downloads last month - 1 maintainer
certora-cli-alpha-shelly-hf09062022 20220609.18.49
Runner for the Certora Prover1 version - Latest release: almost 3 years ago - 55 downloads last month - 1 maintainer
certora-cli-alpha-shelly-usabilityfixserialization 20230504.13.1.808261
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 158 downloads last month - 1 maintainer
certora-cli-alpha-shelly-localassignmentfinders 20241109.13.42.43775
Runner for the Certora Prover1 version - Latest release: 5 months ago - 95 downloads last month - 1 maintainer
certora-cli-alpha-alex-configscope 20230515.13.10.603022
Runner for the Certora Prover6 versions - Latest release: almost 2 years ago - 232 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2296-configscope-default 20230524.9.3.371908
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 86 downloads last month - 1 maintainer
certora-cli-alpha-release-2apr2023 20230403.13.38.299304
Runner for the Certora Prover1 version - Latest release: about 2 years ago - 50 downloads last month - 1 maintainer
certora-cli-alpha-otakar-lxfaddedtoconfig 20230502.16.14.338125
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 52 downloads last month - 1 maintainer
certora-cli-alpha-eytan-inline-instrumentation 20230611.12.54.380387
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 154 downloads last month - 1 maintainer
certora-cli-alpha-antti-tmp-master 20230517.10.24.804060
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 47 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-1955-quickfix 20230518.10.8.816844
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 44 downloads last month - 1 maintainer
certora-cli-alpha-uri-remove-last-conf-dir 20230518.8.32.911155
Runner for the Certora Prover7 versions - Latest release: almost 2 years ago - 226 downloads last month - 1 maintainer
certora-cli-alpha-oz-gambitlinux 20230710.11.11.234001
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 103 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-fixes-python-curse 20230504.11.36.448549
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 109 downloads last month - 1 maintainer
certora-cli-alpha-shelly-longtests 20230507.13.32.645949
Runner for the Certora Prover6 versions - Latest release: almost 2 years ago - 215 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-direct-storage-comparison 20230515.19.37.464460
Runner for the Certora Prover8 versions - Latest release: almost 2 years ago - 282 downloads last month - 1 maintainer
certora-cli-alpha-yoav-fallback-storage-type-bounder 20230502.8.10.983803
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 131 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: almost 2 years ago - 194 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-1923-rm-bv-operators 20230509.9.28.363297
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 90 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-2066-b 20230518.17.2.39762
Runner for the Certora Prover7 versions - Latest release: almost 2 years ago - 227 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-morpho-equiv 20230627.14.19.126621
Runner for the Certora Prover16 versions - Latest release: almost 2 years ago - 525 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 2 years ago - 173 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-events-metadata-json 20230504.19.14.590865
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 222 downloads last month - 1 maintainer
certora-cli-alpha-gereon-cert-2107-consolidate-logging 20230515.7.43.549676
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 139 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-clean-evaldcvlexp 20230518.9.27.300058
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 95 downloads last month - 1 maintainer
certora-cli-alpha-mike-cvl2-migration-errors 20230502.16.43.419119
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 88 downloads last month - 1 maintainer
certora-cli-alpha-eric-summ2 20230515.14.50.500759
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 38 downloads last month - 1 maintainer
certora-cli-alpha-naftali-remove-library-keyword 20230518.20.39.158407
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 97 downloads last month - 1 maintainer
certora-cli-alpha-sitvanit-no-payable-bug 20230515.6.32.846311
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 114 downloads last month - 1 maintainer
certora-cli-alpha-ufattribute2enum 20230501.14.41.136763
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 51 downloads last month - 1 maintainer
certora-cli-alpha-gilad-cert-1843-keep-canon-symbol-prefixes 20230517.11.9.899050
Runner for the Certora Prover7 versions - Latest release: almost 2 years ago - 271 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: over 1 year ago - 237 downloads last month - 1 maintainer
certora-quorum 20250108.130548.490490
Quorum: Open-Source Governance Security Tool for Web3 Protocols7 versions - Latest release: 3 months ago - 143 downloads last month - 14 stars on GitHub - 1 maintainer
cerotra-quorum 20250107.150807.176048
Quorum: A tool for managing proposals and reports1 version - Latest release: 3 months ago - 69 downloads last month - 14 stars on GitHub - 1 maintainer
certora-cli-alpha-jtoman-cert-2191 20230520.2.39.161285
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 87 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-2050-convert-bool-internal-summary-arguments 20230514.21.18.812006
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 139 downloads last month - 1 maintainer
certora-cli-alpha-naftali-test-submodule-codeowner 20230518.10.41.310941
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 42 downloads last month - 1 maintainer
certora-cli-alpha-shelly-granularcontrolptaoptimizations 20240315.15.32.652984
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 97 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-improve-iscopyloop 20230509.14.7.115101
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 49 downloads last month - 1 maintainer
certora-cli-alpha-alexstolr-or-ruleevents 20230502.7.12.115835
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 170 downloads last month - 1 maintainer
certora-cli-alpha-antti-prefer-cvc5 20230517.9.51.374495
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 80 downloads last month - 1 maintainer
certora-cli-alpha-yoav-static-arrays-splitting 20230511.16.40.431204
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 181 downloads last month - 1 maintainer
certora-cli-alpha-shelly-ef 20231127.9.32.271980
Runner for the Certora Prover1 version - Latest release: over 1 year ago - 89 downloads last month - 1 maintainer
certora-cli-alpha-yuvalbd-sqs-non-empty-lists 20230510.14.51.660987
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 113 downloads last month - 1 maintainer
certora-cli-alpha-eyal-compilercollector 20220725.16.31
Runner for the Certora Prover1 version - Latest release: over 2 years ago - 58 downloads last month - 1 maintainer
certora-cli-alpha-dominik-unsat-cores-to-mus-solver 20230516.11.30.6688
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 126 downloads last month - 1 maintainer
certora-cli-alpha-thomas-library-tests 20230508.22.43.867229
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 125 downloads last month - 1 maintainer
certora-cli-alpha-rahav-cert-2189-bad-error-message 20230516.14.37.433574
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 178 downloads last month - 1 maintainer
certora-cli-alpha-eric-autodetekt 20230502.17.24.966353
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 97 downloads last month - 1 maintainer
certora-cli-alpha-niv-add-summary-unittests 20230504.15.45.50229
Runner for the Certora Prover6 versions - Latest release: almost 2 years ago - 198 downloads last month - 1 maintainer
certora-cli-alpha-dominik-mus-enumeration-tests 20230503.15.17.377241
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 118 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: almost 2 years ago - 81 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-test-pr-for-codeowners-exclude 20230509.8.53.123505
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-or-treeviewconcurrency 20230504.17.47.763811
Runner for the Certora Prover4 versions - Latest release: almost 2 years ago - 160 downloads last month - 1 maintainer
certora-cli-alpha-equiv-check 20230516.17.29.646534
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 56 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: almost 4 years ago - 41 downloads last month - 1 maintainer
certora-cli-alpha-eric-toolchain 20230515.18.52.147947
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 76 downloads last month - 1 maintainer
certora-cli-alpha-eric-gvn 20230518.0.37.225030
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 44 downloads last month - 1 maintainer
certora-cli-alpha-yoav-faster-signextend 20230517.18.6.670401
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 74 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-vyper-fix 20230510.18.3.360306
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 79 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-1024-move-to-positive 20230507.12.42.659687
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 72 downloads last month - 1 maintainer
certora-cli-alpha-shelly-nicerresultstxt 20230504.13.48.826753
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 107 downloads last month - 1 maintainer
certora-cli-alpha-assaf-braveorstupidexperiment 20230515.16.8.174804
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 105 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-unsatcorestats 20230509.10.13.938033
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 45 downloads last month - 1 maintainer
certora-cli-alpha-oz-docker-json5 20230515.12.22.699042
Runner for the Certora Prover20 versions - Latest release: almost 2 years ago - 542 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: almost 2 years ago - 102 downloads last month - 1 maintainer
certora-cli-alpha-oz-change-image 20250108.10.38.781826
Runner for the Certora Prover1 version - Latest release: 3 months ago - 93 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-1920 20230505.6.20.438554
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 91 downloads last month - 1 maintainer
certora-cli-alpha-master 20230308.10.23
Runner for the Certora Prover2,209 versions - Latest release: about 2 years ago - 25.1 thousand downloads last month - 160 stars on GitHub - 2 maintainers
certora-cli-alpha-eric-kotlin1.8 20230508.22.50.172887
Runner for the Certora Prover12 versions - Latest release: almost 2 years ago - 421 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: almost 2 years ago - 154 downloads last month - 1 maintainer
certora-cli-alpha-oz-gambit-to-cli 20230312.14.30
Runner for the Certora Prover1 version - Latest release: about 2 years ago - 44 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-sighashresolvedinmethodblock 20230511.17.6.901354
Runner for the Certora Prover3 versions - Latest release: almost 2 years ago - 120 downloads last month - 1 maintainer
certora-cli-alpha-dominik-change-mus-enumeration-solver 20230519.9.3.809548
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 44 downloads last month - 1 maintainer
certora-cli-alpha-reentrancy 20230807.19.35.246204
Runner for the Certora Prover1 version - Latest release: over 1 year ago - 108 downloads last month - 1 maintainer
certora-cli-alpha-assaf-tacbifalias 20230510.12.40.215656
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 178 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: almost 2 years ago - 90 downloads last month - 1 maintainer
certora-cli-alpha-eric-fp 20230515.22.41.681647
Runner for the Certora Prover5 versions - Latest release: almost 2 years ago - 174 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: almost 2 years ago - 133 downloads last month - 1 maintainer
certora-cli-alpha-eric-stack2 20230512.19.58.270343
Runner for the Certora Prover2 versions - Latest release: almost 2 years ago - 76 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-flattencalleehierarchy 20230514.13.15.224961
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 53 downloads last month - 1 maintainer
certora-cli-alpha-antti-lemma-type-filter 20230523.13.10.116586
Runner for the Certora Prover1 version - Latest release: almost 2 years ago - 54 downloads last month - 1 maintainer
certora-cli-alpha-shelly-deepsanity 20230501.13.51.275688
Runner for the Certora Prover6 versions - Latest release: almost 2 years ago - 199 downloads last month - 1 maintainer