Is acl2-jupyter safe to use?

acl2-jupyter has no known vulnerabilities on the latest version (1.0.7). DepScope rates its health at 33/100 (critical risk).

What is the latest version of acl2-jupyter?

The latest version of acl2-jupyter is 1.0.7, released 2022-08-18.

Does acl2-jupyter have known vulnerabilities?

No known vulnerabilities on the latest version of acl2-jupyter.

Is acl2-jupyter deprecated?

No, acl2-jupyter is actively maintained. Latest release: 1.0.7 (2022-08-18).

What are alternatives to acl2-jupyter?

Popular alternatives to acl2-jupyter in PyPI include: boto3, packaging, idna, certifi, urllib3.

What license does acl2-jupyter use?

acl2-jupyter is licensed under bsd-3-clause.

acl2-jupyter

pypiv1.0.7

Jupyter Kernel for ACL2

License bsd-3-clausepermissive10 versions1 maintainers0 deps

rubengamboa/acl2_jupyter

/ 100

Health

use with caution

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

Moderate health score (33/100) — verify manually

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/acl2-jupyter