agda

v2.7.0

A project that packages Agda as a Python package. For more information about how to use this package see README

Latest version published 2 months ago
License: MIT

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

81 / 100

Explore Similar Packages

Popularity

Recognized
GitHub Stars
2.48K
Forks
346
Contributors
200

Direct Usage Popularity


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

Security

No known security issues
Powered by Snyk
2.7.0 (Latest)

Security and license risk for latest version

Release Date
Aug 21, 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
No

We found a way for you to contribute to the project! Looks like agda is missing a security policy.


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
963
Open PR
50
Last Release
2 months ago
Last Commit
5 days ago

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

We found that agda 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
Yes
Contributing.md
No
Code of Conduct
No
Contributors
200
Funding
No

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

We found a way for you to contribute to the project! Looks like agda is missing a Code of Conduct.


Embed Package Health Score Badge

package health: 81/100 package health 81/100

Package

Python Versions Compatibility
<3.13,>=3.7.1

Age
1 year
Latest Release
2 months ago
Dependencies
0 Direct
Versions
7
Maintainers
1
Wheels
Linux, macOS, Musllinux, Windows