Package Health Score

81 / 100

security
No known security issues
popularity
Recognized
maintenance
Healthy
community
Active

Explore Similar Packages

Popularity

Recognized

GitHub Stars: 2.37K
Forks: 332
Contributors: 190

Direct Usage Popularity

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

Security

No known security issues

Security and license risk for latest version

Release Date: Mar 1, 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

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: 965
Open PR: 43
Last Release: 2 months ago
Last Commit: 11 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: 190
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

Keep your project healthy

Check your requirements.txt

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

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: <3.13,>=3.7.1

Age: 9 months
Latest Release: 2 months ago
Dependencies: 0 Direct
Versions: 3
Maintainers: 1
Wheels: Linux, macOS, Musllinux, Windows

Readme

The official Agda logo

GitHub tag (latest by date)

Agda Python Distribution

A project that packages Agda as a Python package, which allows you to install Agda from PyPI:

pip install agda

The PyPI package versions follow the PvP version numbers of Agda releases, with post-release versions (e.g., v2.6.3.post1) for patches and non-breaking changes to the documentation and packaging.

Binary wheels are provided for the following platforms:

Platform	Release	Architecture
macOS	≥10.10	x86_64
	≥13.0	ARM64
Linux	libc ≥2.17	x86_64
	libc ≥2.28	aarch64
	musl ≥1.1	x86_64
Windows		AMD64

The availability of binary wheels is largely determined by the availability of GHC binaries.

For more information, see:

FAQs

What is agda?

A project that packages Agda as a Python package. Visit Snyk Advisor to see a full health score report for agda, including popularity, security, maintenance & community analysis.

Is agda popular?

The python package agda receives a total of 1,181 weekly downloads. As such, agda popularity was classified as a recognized. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is agda well maintained?

We found that agda demonstrated a healthy version release cadence and project activity. It has a community of 190 open source contributors collaborating on the project. See the full package health analysis to learn more about the package maintenance status.

Is agda safe to use?

The python package agda was scanned for known vulnerabilities and missing license, and no issues were found. Thus the package was deemed as safe to use. See the full health analysis review.

Last updated on 24 April-2024, at 18:02 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP

agda

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

Ensure you're using the healthiest python packages

Package Health Score

Explore Similar Packages

Popularity

Direct Usage Popularity

Security

Security and license risk for latest version

Maintenance

Commit Frequency

Community

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Package

Readme

Agda Python Distribution

FAQs

What is agda?

Is agda popular?

Is agda well maintained?

Is agda safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Fix identified vulnerabilities

Monitor for new issues

Package Health Score

Explore Similar Packages

Direct Usage Popularity

Security and license risk for latest version

Commit Frequency

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Readme

Agda Python Distribution

FAQs

What is agda?

Is agda popular?

Is agda well maintained?

Is agda safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Source Code

Open Source

Container

Config

Fix identified vulnerabilities

Monitor for new issues