Is klr-lang safe to use?

klr-lang has no known vulnerabilities on the latest version (0.0.12). DepScope rates its health at 47/100 (high risk).

What is the latest version of klr-lang?

The latest version of klr-lang is 0.0.12, released 2025-07-07.

Does klr-lang have known vulnerabilities?

No known vulnerabilities on the latest version of klr-lang.

Is klr-lang deprecated?

No, klr-lang is actively maintained. Latest release: 0.0.12 (2025-07-07).

What are alternatives to klr-lang?

Popular alternatives to klr-lang in PyPI include: urllib3, setuptools, pyyaml, pytest, jinja2.

What license does klr-lang use?

klr-lang is licensed under Apache-2.0.

klr-lang

pypiv0.0.12

Intermediate langauge for tensor compilers

License Apache-2.0permissive8 versions1 deps14 weekly dl

leanprover/KLR

/ 100

Health

use with caution

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

Moderate health score (47/100) — verify manually

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

1/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (1)

numpy

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/klr-lang