DafnyRuntimePython
Dafny runtime for Python
Decision gist · record as of 2026-08-14
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.AI-flagged interpretation of the facts on this page — verify before relying
Before you install
- Requires Python 3.8 or later.
- This package is a runtime support library for code compiled by the Dafny compiler to Python.
- Low friction installation with no runtime dependencies.
License · maintenance · safety
permissive license (permissive) — Licensed under MIT (permissive), allowing free use, modification, and distribution with minimal restrictions.
last release 2025-08-25 (354 days) · last repo commit 2026-08-09 · 3,498 stars
0 known vulnerabilities (OSV.dev, 2026-08-14) · 524,125 downloads/mo, #6,191 on PyPI
Alternatives
Verify before relying
pip install dafnyruntimepython
# Use the installed runtime as a dependency for Dafny-compiled Python code
import dafnyruntimepython- Whether this package is automatically installed as a dependency when using the main Dafny compiler, or must be installed separately.
- Compatibility matrix between Dafny compiler versions and this runtime package version.
- Specific runtime features and APIs provided by this package for compiled Dafny code.
What it is and 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—data structures, utility functions, and runtime support—that the compiled Python code depends on.
You 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.
Use it for
- 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.
Worth the install?
AI-flagged interpretation of the facts on this page. Verify before relying on it.
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.
Install
dafnyruntimepython on PyPI
Before you install
Low friction installation with no runtime dependencies. The package is actively maintained, with recent releases and a healthy repository (3498 stars, last commit 2026-08-09). Python 3.8+ is required.
Requires Python 3.8 or later. This package is a runtime support library for code compiled by the Dafny compiler to Python.
License in practice
Licensed under MIT (permissive), allowing free use, modification, and distribution with minimal restrictions.
Quickstart
pip install dafnyruntimepython
# Use the installed runtime as a dependency for Dafny-compiled Python code
import dafnyruntimepythonVerify before relying
- Whether this package is automatically installed as a dependency when using the main Dafny compiler, or must be installed separately.
- Compatibility matrix between Dafny compiler versions and this runtime package version.
- Specific runtime features and APIs provided by this package for compiled Dafny code.
Package facts
| License | permissive license permissive |
| Python support | Supports the current Python release >=3.8 |
| Install friction | Low. Pure-Python wheel |
| Runtime dependencies | None |
| Maintenance | Actively maintained 354 days since the last release |
| Last repo commit | |
| First released | |
| Downloads | 524,125 / month, #6,191 on PyPI 30-day window, as of 2026-08-14 |
| Known vulnerabilities | None known OSV.dev, checked 2026-08-14 |
| Classifiers | License :: OSI Approved :: MIT LicenseOperating System :: OS IndependentProgramming Language :: Python :: 3 |
Evidence: dafnyruntimepython-4.11.0-py3-none-any.whl
Tags
Let your AI agent find packages like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 14,416 PyPI packages by what they can do, searchable in plain language.
wish › “dafny python runtime”
- DafnyRuntimePythonProvides the Python runtime library needed to execute Dafny-compiled…
- google-cloud-runtimeconfigPython client library for Google Cloud Runtime Configurator API,…
- awslambdaricImplements the AWS Lambda Runtime API to make custom Python container…
Give your agent the search over MCP, or paste the wish link into any chat.
More Quality Assurance packages
Coverage.py measures which lines of Python code are executed during test runs, reporting coverage percentages and identifying untested code paths.
Install it if you want to measure test completeness or enforce coverage thresholds in your project.
Ruff is a Python linter and code formatter written in Rust that combines linting, formatting, and code fixing into a single tool, replacing Flake8, Black, isort, and related utilities.
Pexpect spawns and controls interactive console applications by sending input and matching output patterns, automating tasks that would otherwise require manual interaction.
Black reformats Python source code to a consistent style by parsing entire files and rewriting them according to an opinionated, deterministic set of rules, eliminating manual formatting decisions.
pytest-xdist distributes pytest tests across multiple CPU cores or machines to speed up test execution, with the simplest usage being `pytest -n auto` to spawn workers equal to available CPUs.
Install it if your test suite takes long enough that parallelization would save meaningful time.
Validates AWS CloudFormation templates in YAML or JSON format against resource provider schemas and best practices, checking property values and configuration correctness.
Install it if you work with CloudFormation templates.
See also mypy · deal · Nuitka · ciris-verify · opentimestamps · onnxruntime_extensions · makefun · luhn · deepface · agentrust-trace