Is MiniAgda safe to use?

MiniAgda has no known vulnerabilities on the latest version (0.2025.7.23). DepScope rates its health at 46/100 (high risk).

What is the latest version of MiniAgda?

The latest version of MiniAgda is 0.2025.7.23, released 2025-07-23.

No known vulnerabilities on the latest version of MiniAgda.

No, MiniAgda is actively maintained. Latest release: 0.2025.7.23 (2025-07-23).

DepScope has no curated alternatives for MiniAgda at this time.

MiniAgda is licensed under MIT.

hackagev0.2025.7.23

A toy dependently typed programming language with type-based termination.

License MITpermissive12 versions1 maintainers0 deps

/ 100

Health

safe to use

[email protected] is safe to use (health: 46/100)

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/hackage/MiniAgda

Last updated · 2025-07-23T12:49:00.670461848Z