DafnyRuntimePython

GitHub Stars

2.91K

Forks

262

Contributors

100

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

4.9.0 (Latest)

4.9.0

Latest

4.5.0

Most Popular

See all versions

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

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

Open Issues

1.11K

Open PR

156

Last Release

7 days ago

Last Commit

6 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.

Readme

No

Contributing.md

Yes

Code of Conduct

Yes

Contributors

100

Funding

No

With more than 10 contributors for the DafnyRuntimePython repository, this is possibly a sign for a growing and inviting community.

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

Embed Package Health Score Badge

Copy Markdown Copy reStructuredText

Python Versions Compatibility

>=3.8

Age

10 months

Latest Release

7 days ago

Dependencies

N/A

Versions

8

Maintainers

1

Wheels

OS Independent