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-kotlin1.8 20230508.22.50.172887
Runner for the Certora Prover12 versions - Latest release: about 1 year ago - 74 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-1717-b 20230517.14.20.616146
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 24 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: about 1 year ago - 287 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-shelly-sanitybuiltin 20230520.14.31.457473
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 7 downloads last month - 1 maintainer
certora-cli-alpha-alex-configscope 20230515.13.10.603022
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 34 downloads last month - 1 maintainer
certora-cli-alpha-yoav-faster-signextend 20230517.18.6.670401
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 16 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 - 14 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 - 5 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 - 24 downloads last month - 1 maintainer
certora-cli-alpha-eric-fp 20230515.22.41.681647
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 27 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-eyalf-test-pr-for-codeowners-exclude 20230509.8.53.123505
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-naftali-remove-library-keyword 20230518.20.39.158407
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 13 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-gilad-cert-1843-keep-canon-symbol-prefixes 20230517.11.9.899050
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 41 downloads last month - 1 maintainer
certora-cli-alpha-naftali-cert-3254-method-supports-all-methods-in-scene 20230829.17.24.993199
Runner for the Certora Prover3 versions - Latest release: 10 months ago - 38 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 - 17 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-jtoman-cert-2191 20230520.2.39.161285
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 16 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-yoav-fallback-storage-type-bounder 20230502.8.10.983803
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 14 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 - 15 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 - 12 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 - 28 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-1717 20230524.13.5.839295
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 63 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 - 12 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: about 1 year ago - 18 downloads last month - 1 maintainer
certora-cli-alpha-shelly-fixcer-908 20220525.18.19
Runner for the Certora Prover12 versions - Latest release: about 2 years ago - 1 dependent repositories - 62 downloads last month - 1 maintainer
certora-cli-alpha-shelly-betterglobalerrormessaging 20230516.13.41.287678
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 11 downloads last month - 1 maintainer
certora-cli-alpha-jaroslav-unsatcorestats 20230509.10.13.938033
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 8 downloads last month - 1 maintainer
certora-cli-alpha-shelly-hidespecfiles 20230514.10.11.636214
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 14 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: about 1 year ago - 12 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 - 16 downloads last month - 1 maintainer
certora-cli-alpha-uri-broaden-server 20230516.12.38.185464
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 24 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 - 33 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-separationofcompileandcheck 20230524.12.22.565643
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 12 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 - 15 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: about 1 year ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-infinite-loop-fix 20230516.23.6.855064
Runner for the Certora Prover36 versions - Latest release: about 1 year ago - 150 downloads last month - 1 maintainer
certora-cli-alpha-shelly-bettercertoraexception 20230508.16.25.408704
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 27 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: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-shelly-fixviewreentrancy 20230504.13.3.428143
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-enhance-cvlexptotacexprmeta 20230517.20.21.147787
Runner for the Certora Prover9 versions - Latest release: about 1 year ago - 34 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 - 23 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-vyper-fix 20230510.18.3.360306
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-eric-perf 20230516.21.40.933902
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 26 downloads last month - 1 maintainer
certora-cli-alpha-shelly-cacheworkaround 20230514.10.57.301298
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-alex-cvl-range-meta-fix 20230509.18.32.798391
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 8 downloads last month - 1 maintainer
certora-cli-alpha-shelly-nightlyfixes 20230510.7.24.221123
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 12 downloads last month - 1 maintainer
certora-cli-alpha-dudi-add-warning-config 20230511.18.37.596736
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 12 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: about 1 year ago - 14 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: over 2 years ago - 13 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 - 41 downloads last month - 1 maintainer
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 - 103 downloads last month - 1 stars on GitHub - 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 - 14 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-calltraceerrorstoproblemview 20230504.10.52.611423
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 10 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-2192 20230517.22.6.429667
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 31 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 - 145 downloads last month - 1 maintainer
certora-cli-alpha-thomas-better-finders 20230518.20.33.61318
Runner for the Certora Prover8 versions - Latest release: about 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-equiv-check 20230516.17.29.646534
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 14 downloads last month - 1 maintainer
certora-cli-alpha-mike-range-structure 20230516.16.21.662667
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 27 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 - 21 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-alex-int-to-skey 20230519.16.44.278153
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-eric-stack 20230512.21.59.763902
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 30 downloads last month - 1 maintainer
certora-cli-alpha-roy-cert-2222-versions 20230518.12.36.472438
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 14 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 - 13 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-optimize-imports 20230519.14.8.976057
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 16 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 - 15 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-loopsnippet 20230509.19.57.140937
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 8 downloads last month - 1 maintainer
certora-cli-alpha-shays-cert-2092 20230524.19.9.555265
Runner for the Certora Prover7 versions - Latest release: about 1 year ago - 29 downloads last month - 1 maintainer
certora-cli-alpha-shelly-ef 20231127.9.32.271980
Runner for the Certora Prover1 version - Latest release: 7 months ago - 12 downloads last month - 1 maintainer
certora-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
certora-cli-alpha-dudi-cert-2090 20230518.11.36.157029
Runner for the Certora Prover8 versions - Latest release: about 1 year ago - 43 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 - 111 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-rahav-cert-1849 20230501.11.34.215275
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 20 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 - 19 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-cnandi-revert-mutation-tool 20231129.20.22.551569
Runner for the Certora Prover1 version - Latest release: 6 months ago - 16 downloads last month - 1 maintainer
certora-cli-alpha-eyalf-clean-evaldcvlexp 20230518.9.27.300058
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-2178 20230518.18.55.114339
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 31 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-gmx-init 20230508.20.32.152965
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 45 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 - 12 downloads last month - 1 maintainer
certora-cli-alpha-eyalh-transferonlyonpayablefunc 20230518.21.36.865154
Runner for the Certora Prover1 version - Latest release: about 1 year ago - 19 downloads last month - 1 maintainer
certora-cli-alpha-antti-prefer-cvc5 20230517.9.51.374495
Runner for the Certora Prover2 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 - 140 downloads last month - 1 maintainer
certora-cli-alpha-shelly-longtests 20230507.13.32.645949
Runner for the Certora Prover6 versions - Latest release: about 1 year ago - 61 downloads last month - 1 maintainer
certora-cli-alpha-andrew-satisfy 20230519.10.34.755092
Runner for the Certora Prover10 versions - Latest release: about 1 year ago - 66 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 - 39 downloads last month - 1 maintainer
certora-cli-alpha-cnandi-python-wrapper 20230307.20.52
Runner for the Certora Prover3 versions - Latest release: over 1 year ago - 21 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-cert-2201 20230524.17.12.624676
Runner for the Certora Prover5 versions - Latest release: about 1 year ago - 36 downloads last month - 1 maintainer
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: over 2 years ago - 21 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 - 12 downloads last month - 1 maintainer
certora-cli-alpha-shelly-whenwillitbeoverinternalfunctions 3.6.8.post4
Runner for the Certora Prover4 versions - Latest release: about 1 year ago - 23 downloads last month - 1 maintainer
certora-cli-alpha-eric-stack2 20230512.19.58.270343
Runner for the Certora Prover2 versions - Latest release: about 1 year ago - 25 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 - 16 downloads last month - 1 maintainer
certora-cli-alpha-jtoman-allow-splitting-on-delegates 20230506.4.5.706265
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 17 downloads last month - 1 maintainer
certora-cli-alpha-assaf-braveorstupidexperiment 20230515.16.8.174804
Runner for the Certora Prover3 versions - Latest release: about 1 year ago - 25 downloads last month - 1 maintainer