Is fflonk-cuda safe to use?

fflonk-cuda has no known vulnerabilities on the latest version (0.156.0). DepScope rates its health at 68/100 (moderate risk).

What is the latest version of fflonk-cuda?

The latest version of fflonk-cuda is 0.156.0, released 2026-04-23.

No known vulnerabilities on the latest version of fflonk-cuda.

No, fflonk-cuda is actively maintained. Latest release: 0.156.0 (2026-04-23).

Popular alternatives to fflonk-cuda in Cargo include: hashbrown, getrandom, windows-sys, syn, rand_core.

fflonk-cuda is licensed under MIT OR Apache-2.0.

cargov0.156.0

CUDA implementation of the fflonk prover

License MIT OR Apache-2.0permissive43 versions0 deps7,468 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

25/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

0/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/fflonk-cuda