Skip to content

Commit a8ec1ee

Browse files
Scheduled data update from Github Actions
1 parent c95ca32 commit a8ec1ee

File tree

586 files changed

+586
-544
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

586 files changed

+586
-544
lines changed

release_data/2/c/2captcha-python.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/8/b/8bit-music-lib.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/a/5/a5-client.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/a/a/aabpl.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/a/a/aait.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/a/b/abstract-utilities.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

release_data/a/b/abstractnn.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
{"0.1.0":{"info":{"author":"Guillaume Berthelot","author_email":"Guillaume Berthelot <[email protected]>","bugtrack_url":null,"classifiers":["Development Status :: 3 - Alpha","Intended Audience :: Developers","Intended Audience :: Science/Research","License :: OSI Approved :: MIT License","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.8","Programming Language :: Python :: 3.9","Topic :: Scientific/Engineering :: Artificial Intelligence"],"description_content_type":"text/markdown","docs_url":null,"download_url":null,"downloads":{"last_day":-1,"last_month":-1,"last_week":-1},"dynamic":["Author","Home-Page","Requires-Python"],"home_page":"https://github.com/flyworthi/abstractNN","keywords":"neural networks, formal verification, abstract interpretation, affine arithmetic, robustness, adversarial, soundness, deep learning, AI safety","license":"MIT","license_expression":null,"license_files":null,"maintainer":null,"maintainer_email":null,"name":"abstractNN","package_url":"https://pypi.org/project/abstractNN/","platform":null,"project_url":"https://pypi.org/project/abstractNN/","project_urls":{"Bug Tracker":"https://github.com/flyworthi/abstractNN/issues","Documentation":"https://abstractnn.readthedocs.io","Homepage":"https://github.com/guillaume117/abstractNN","Repository":"https://github.com/flyworthi/abstractNN"},"provides_extra":null,"release_url":"https://pypi.org/project/abstractNN/0.1.0/","requires_dist":null,"requires_python":">=3.8","summary":"Formal verification of neural networks using abstract interpretation and affine arithmetic","version":"0.1.0","yanked":false,"yanked_reason":null},"last_serial":32126397,"urls":[{"comment_text":null,"digests":{"blake2b_256":"d24a157b18572cc1798574f903e84aac5e2b45a48aa47dd0beb61d3cbd919cef","md5":"fe65347481e55e3106d58da00d15d789","sha256":"e104f52665b07433f7cb8d1007b209b5bb0649a96fa4d6ece9349c3c4b5b771d"},"downloads":-1,"filename":"abstractnn-0.1.0-py3-none-any.whl","has_sig":false,"md5_digest":"fe65347481e55e3106d58da00d15d789","packagetype":"bdist_wheel","python_version":"py3","requires_python":">=3.8","size":47046,"upload_time":"2025-10-31T13:06:31","upload_time_iso_8601":"2025-10-31T13:06:31.812683Z","url":"https://files.pythonhosted.org/packages/d2/4a/157b18572cc1798574f903e84aac5e2b45a48aa47dd0beb61d3cbd919cef/abstractnn-0.1.0-py3-none-any.whl","yanked":false,"yanked_reason":null},{"comment_text":null,"digests":{"blake2b_256":"8e3731d426813c2999b89b78e881a71eeae0a571cf61b336db45bc07710706a0","md5":"e3e70696c0ba4f971d97e35355ffd519","sha256":"41f688193bf550ceed1d8375284620c43ff04d2deb0fdf66c3c73c1bdd989548"},"downloads":-1,"filename":"abstractnn-0.1.0.tar.gz","has_sig":false,"md5_digest":"e3e70696c0ba4f971d97e35355ffd519","packagetype":"sdist","python_version":"source","requires_python":">=3.8","size":74287,"upload_time":"2025-10-31T13:06:33","upload_time_iso_8601":"2025-10-31T13:06:33.644310Z","url":"https://files.pythonhosted.org/packages/8e/37/31d426813c2999b89b78e881a71eeae0a571cf61b336db45bc07710706a0/abstractnn-0.1.0.tar.gz","yanked":false,"yanked_reason":null}],"vulnerabilities":[]}}
1+
{"0.1.0":{"info":{"author":"Guillaume Berthelot","author_email":"Guillaume Berthelot <[email protected]>","bugtrack_url":null,"classifiers":["Development Status :: 3 - Alpha","Intended Audience :: Developers","Intended Audience :: Science/Research","License :: OSI Approved :: MIT License","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.8","Programming Language :: Python :: 3.9","Topic :: Scientific/Engineering :: Artificial Intelligence"],"description_content_type":"text/markdown","docs_url":null,"download_url":null,"downloads":{"last_day":-1,"last_month":-1,"last_week":-1},"dynamic":["Author","Home-Page","Requires-Python"],"home_page":"https://github.com/flyworthi/abstractNN","keywords":"neural networks, formal verification, abstract interpretation, affine arithmetic, robustness, adversarial, soundness, deep learning, AI safety","license":"MIT","license_expression":null,"license_files":null,"maintainer":null,"maintainer_email":null,"name":"abstractNN","package_url":"https://pypi.org/project/abstractNN/","platform":null,"project_url":"https://pypi.org/project/abstractNN/","project_urls":{"Bug Tracker":"https://github.com/flyworthi/abstractNN/issues","Documentation":"https://abstractnn.readthedocs.io","Homepage":"https://github.com/guillaume117/abstractNN","Repository":"https://github.com/flyworthi/abstractNN"},"provides_extra":null,"release_url":"https://pypi.org/project/abstractNN/0.1.0/","requires_dist":null,"requires_python":">=3.8","summary":"Formal verification of neural networks using abstract interpretation and affine arithmetic","version":"0.1.0","yanked":false,"yanked_reason":null},"last_serial":32129408,"urls":[{"comment_text":null,"digests":{"blake2b_256":"d24a157b18572cc1798574f903e84aac5e2b45a48aa47dd0beb61d3cbd919cef","md5":"fe65347481e55e3106d58da00d15d789","sha256":"e104f52665b07433f7cb8d1007b209b5bb0649a96fa4d6ece9349c3c4b5b771d"},"downloads":-1,"filename":"abstractnn-0.1.0-py3-none-any.whl","has_sig":false,"md5_digest":"fe65347481e55e3106d58da00d15d789","packagetype":"bdist_wheel","python_version":"py3","requires_python":">=3.8","size":47046,"upload_time":"2025-10-31T13:06:31","upload_time_iso_8601":"2025-10-31T13:06:31.812683Z","url":"https://files.pythonhosted.org/packages/d2/4a/157b18572cc1798574f903e84aac5e2b45a48aa47dd0beb61d3cbd919cef/abstractnn-0.1.0-py3-none-any.whl","yanked":false,"yanked_reason":null},{"comment_text":null,"digests":{"blake2b_256":"8e3731d426813c2999b89b78e881a71eeae0a571cf61b336db45bc07710706a0","md5":"e3e70696c0ba4f971d97e35355ffd519","sha256":"41f688193bf550ceed1d8375284620c43ff04d2deb0fdf66c3c73c1bdd989548"},"downloads":-1,"filename":"abstractnn-0.1.0.tar.gz","has_sig":false,"md5_digest":"e3e70696c0ba4f971d97e35355ffd519","packagetype":"sdist","python_version":"source","requires_python":">=3.8","size":74287,"upload_time":"2025-10-31T13:06:33","upload_time_iso_8601":"2025-10-31T13:06:33.644310Z","url":"https://files.pythonhosted.org/packages/8e/37/31d426813c2999b89b78e881a71eeae0a571cf61b336db45bc07710706a0/abstractnn-0.1.0.tar.gz","yanked":false,"yanked_reason":null}],"vulnerabilities":[]},"0.1.1":{"info":{"author":"Guillaume Berthelot","author_email":"Guillaume Berthelot <[email protected]>","bugtrack_url":null,"classifiers":["Development Status :: 3 - Alpha","Intended Audience :: Developers","Intended Audience :: Science/Research","License :: OSI Approved :: MIT License","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.8","Programming Language :: Python :: 3.9","Topic :: Scientific/Engineering :: Artificial Intelligence"],"description_content_type":"text/markdown","docs_url":null,"download_url":null,"downloads":{"last_day":-1,"last_month":-1,"last_week":-1},"dynamic":["Author","Home-Page","Requires-Python"],"home_page":"https://github.com/flyworthi/abstractNN","keywords":"neural networks, formal verification, abstract interpretation, affine arithmetic, robustness, adversarial, soundness, deep learning, AI safety","license":"MIT","license_expression":null,"license_files":null,"maintainer":null,"maintainer_email":null,"name":"abstractNN","package_url":"https://pypi.org/project/abstractNN/","platform":null,"project_url":"https://pypi.org/project/abstractNN/","project_urls":{"Bug Tracker":"https://github.com/guillaume117/abstractNN/issues","Documentation":"https://abstractnn.readthedocs.io","Homepage":"https://github.com/guillaume117/abstractNN","Repository":"https://github.com/guillaum117/abstractNN"},"provides_extra":null,"release_url":"https://pypi.org/project/abstractNN/0.1.1/","requires_dist":null,"requires_python":">=3.8","summary":"Formal verification of neural networks using abstract interpretation and affine arithmetic","version":"0.1.1","yanked":false,"yanked_reason":null},"last_serial":32129408,"urls":[{"comment_text":null,"digests":{"blake2b_256":"e1d43b8911a9f111858a75a512602db77ff1c07a38cc20240a2cf5078773df9f","md5":"616a29f6b4d3434adbddb36e34e083b4","sha256":"2d18d35cb8fa894f0a2914d8a0791c478e46bea8662e6e6370a2ec577fbc74bc"},"downloads":-1,"filename":"abstractnn-0.1.1-py3-none-any.whl","has_sig":false,"md5_digest":"616a29f6b4d3434adbddb36e34e083b4","packagetype":"bdist_wheel","python_version":"py3","requires_python":">=3.8","size":48634,"upload_time":"2025-10-31T15:58:01","upload_time_iso_8601":"2025-10-31T15:58:01.803264Z","url":"https://files.pythonhosted.org/packages/e1/d4/3b8911a9f111858a75a512602db77ff1c07a38cc20240a2cf5078773df9f/abstractnn-0.1.1-py3-none-any.whl","yanked":false,"yanked_reason":null},{"comment_text":null,"digests":{"blake2b_256":"9f4e9127a3aa80690d46f17fa35f01734740e133ea1c83f3a3738673570bb30c","md5":"4ed4f0f189815fc6808aa1edffb78134","sha256":"4efaea4c7c50cb3e9457bb4f32d765e39ae17276c20dafeb3efe149889c43c29"},"downloads":-1,"filename":"abstractnn-0.1.1.tar.gz","has_sig":false,"md5_digest":"4ed4f0f189815fc6808aa1edffb78134","packagetype":"sdist","python_version":"source","requires_python":">=3.8","size":76644,"upload_time":"2025-10-31T15:58:02","upload_time_iso_8601":"2025-10-31T15:58:02.875206Z","url":"https://files.pythonhosted.org/packages/9f/4e/9127a3aa80690d46f17fa35f01734740e133ea1c83f3a3738673570bb30c/abstractnn-0.1.1.tar.gz","yanked":false,"yanked_reason":null}],"vulnerabilities":[]}}

0 commit comments

Comments
 (0)