1. Advisor
  2. Python packages
  3. DafnyRuntimePython

DafnyRuntimePython

v4.9.0

Dafny runtime for Python For more information about how to use this package see README

Latest version published 22 days ago
License: MIT
PyPI
GitHub

Ensure you're using the healthiest python packages

Snyk scans all the packages in your projects for vulnerabilities and provides automated fix advice

Package Health Score

87 / 100

Popularity

Recognized
GitHub Stars
2.92K
Forks
262
Contributors
110

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package DafnyRuntimePython, we found that it has been starred 2,924 times.

Security

No known security issues
Powered by Snyk
4.9.0 (Latest)

Security and license risk for latest version

Release Date
Oct 31, 2024
Direct Vulnerabilities
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
Indirect Vulnerabilities
  • 0
    C
  • 0
    H
  • 0
    M
  • 0
    L
License Risk
  • 0
    H
  • 0
    M
  • 0
    L
All security vulnerabilities belong to production dependencies of direct and indirect packages.
License
MIT
Security Policy
Yes

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Healthy

Commit Frequency

Open Issues
1.11K
Open PR
153
Last Release
22 days ago
Last Commit
5 days ago

Further analysis of the maintenance status of DafnyRuntimePython based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Healthy.

We found that DafnyRuntimePython demonstrates a positive version release cadence with at least one new version released in the past 3 months.

As a healthy sign for on-going project maintenance, we found that the GitHub repository had at least 1 pull request or issue interacted with by the community.

Community

Active
Readme
No
Contributing.md
Yes
Code of Conduct
Yes
Contributors
110
Funding
No

A good and healthy external contribution signal for DafnyRuntimePython project, which invites more than one hundred open source maintainers to collaborate on the repository.

How about a good first contribution to this project? It seems that DafnyRuntimePython is missing a README file.

Embed Package Health Score Badge

package health: 87/100 package health 87/100

Keep your project healthy

scan-reversed

Check your requirements.txt

NEW
Ensure all the packages you're using are healthy and well-maintained
arrow
intellij

Snyk Vulnerability Scanner

external
Get health score & security insights directly in your IDE
arrow

Package

Python Versions Compatibility
>=3.8
Age
10 months
Latest Release
22 days ago
Dependencies
N/A
Versions
8
Maintainers
1
Wheels
OS Independent