DafnyRuntimePython

GitHub Stars

2.94K

Forks

261

Contributors

110

Based on project statistics from the GitHub repository for the PyPI package DafnyRuntimePython, we found that it has been starred 2,938 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

150

Last Release

29 days ago

Last Commit

4 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

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

Copy Markdown Copy reStructuredText

Python Versions Compatibility

>=3.8

Age

10 months

Latest Release

29 days ago

Dependencies

N/A

Versions

8

Maintainers

1

Wheels

OS Independent