Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "cpp-library" keyword

View the packages on the crates.io package registry that are tagged with the "cpp-library" keyword.

libtptp
Thousands of Problems for Theorem Provers (TPTP) Library
1 version - Latest release: about 24 hours ago - 1.37 thousand downloads total - 1 stars on GitHub - 1 maintainer
filerix 0.1.3
Rust bindings for filerix
4 versions - Latest release: 12 months ago - 2.72 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
automated 1 cpp11 1 libtptp 1 proving 1 theorem 1 c 1 cmake 1 cpp 1 docs 1 file-management 1 filesystem 1 meson 1 nix 1 nix-flake 1 nix-support 1 nodejs 1 nodejs-support 1 rust 1 rust-support 1 typescript 1 typescript-support 1 vcpkg 1