{"categories":[{"label":"Quality Assurance","url":"https://skillfed.io/packages/category/software-development-quality-assurance/2"}],"enrichment":{"capability":"Provides the Python runtime library needed to execute Dafny-compiled Python code, enabling verified programs written in Dafny to run on Python.","skillfed_tags":["formal-verification","dafny-ecosystem"],"use_cases":["Running formally verified algorithms compiled from Dafny to Python for production or research use.","Integrating Dafny-verified components into larger Python applications that require correctness guarantees.","Executing educational examples and tutorials that demonstrate Dafny verification in a Python environment.","Deploying verified cryptographic or mathematical routines written in Dafny as Python libraries."],"what_it_does":"DafnyRuntimePython is a support library that enables Python code compiled from Dafny programs to execute correctly. Dafny is a verification-ready programming language that lets you write code alongside formal specifications, then compiles to multiple targets including Python. This package provides the runtime layer\u2014data structures, utility functions, and runtime support\u2014that the compiled Python code depends on.\n\nYou would install this package if you are using Dafny to write formally verified programs and have chosen Python as your compilation target. The package itself is not a language or IDE; it is a dependency for the output of the Dafny compiler. It has no external runtime dependencies, installs cleanly, and is actively maintained by the Dafny project team.","worth_installing":"Yes, if you are compiling Dafny programs to Python. This is a lightweight, actively maintained runtime with no external dependencies, permissive licensing, and zero known vulnerabilities. Install it as a prerequisite for any Dafny-to-Python workflow. If you are not using Dafny, there is no reason to install it."},"id":"dafnyruntimepython","links":{"html":"https://skillfed.io/packages/dafnyruntimepython","md":"https://skillfed.io/packages/dafnyruntimepython.md","pypi":"https://pypi.org/project/dafnyruntimepython/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2025-08-25","license_spdx":null,"license_treatment":"permissive","name":"DafnyRuntimePython","python_support":"supports_current","summary":"Dafny runtime for Python"},"popularity":{"monthly_downloads":524125,"position":6191,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"4.11.0"}