Is idris safe to use?

idris has no known vulnerabilities on the latest version (1.3.4). DepScope rates its health at 42/100 (high risk).

What is the latest version of idris?

The latest version of idris is 1.3.4, released 2021-10-22.

No known vulnerabilities on the latest version of idris.

No, idris is actively maintained. Latest release: 1.3.4 (2021-10-22).

DepScope has no curated alternatives for idris at this time.

idris is licensed under BSD-3-Clause.

hackagev1.3.4

Functional Programming Language with Dependent Types

License BSD-3-Clausepermissive71 versions1 maintainers0 deps

/ 100

Health

use with caution

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

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

15/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2021-10-22T22:58:30.280717079Z