Is dafny-runtime safe to use?

dafny-runtime has no known vulnerabilities on the latest version (0.3.1). DepScope rates its health at 51/100 (high risk).

What is the latest version of dafny-runtime?

The latest version of dafny-runtime is 0.3.1, released 2025-06-03.

No known vulnerabilities on the latest version of dafny-runtime.

No, dafny-runtime is actively maintained. Latest release: 0.3.1 (2025-06-03).

Popular alternatives to dafny-runtime in Cargo include: hashbrown, getrandom, windows-sys, syn.

dafny-runtime is licensed under ISC AND (Apache-2.0 OR ISC).

cargov0.3.1

dafny-runtime is the runtime support library for Rust code gerated from Dafny.

License ISC AND (Apache-2.0 OR ISC)permissive5 versions0 deps28,796 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

10/25

maintenance

10/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/dafny-runtime