Is agda-unused safe to use?

agda-unused has no known vulnerabilities on the latest version (0.3.0). DepScope rates its health at 28/100 (critical risk).

What is the latest version of agda-unused?

The latest version of agda-unused is 0.3.0, released 2022-11-26.

No known vulnerabilities on the latest version of agda-unused.

No, agda-unused is actively maintained. Latest release: 0.3.0 (2022-11-26).

DepScope has no curated alternatives for agda-unused at this time.

agda-unused is licensed under MIT.

hackagev0.3.0

Check for unused code in an Agda project.

License MITpermissive3 versions0 deps

/ 100

Health

use with caution

[email protected] low health (28/100) — consider alternatives

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

3/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/agda-unused

Last updated · 2022-11-26T03:48:39.380001355Z