Top 1.5% downloads on crates.io
Top 7.4% dependent packages on crates.io
Top 2.4% dependent repos on crates.io
Top 9.2% forks on crates.io
Top 0.3% docker downloads on crates.io
crates.io : datafrog
Lightweight Datalog engine intended to be embedded in other Rust programs
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:cargo/datafrog
Keywords:
analysis
, datalog
License: Apache-2.0,MIT
Latest release: about 7 years ago
First release: over 7 years ago
Dependent packages: 4
Dependent repositories: 294
Downloads: 3,726,969 total
Stars: 839 on GitHub
Forks: 45 on GitHub
Docker dependents: 276
Docker downloads: 29,663,446
See more repository details: repos.ecosyste.ms
Last synced: about 2 months ago
polonius-engine 0.13.0
Core definition for the Rust borrow checker17 versions - Latest release: over 4 years ago - 1 dependent package - 219 dependent repositories - 3.79 million downloads total - 1,533 stars on GitHub - 1 maintainer
lark-type-check 0.1.0
The type checking functionality of the Lark compiler.1 version - Latest release: about 7 years ago - 5 dependent packages - 5.81 thousand downloads total - 195 stars on GitHub - 1 maintainer
polonius 0.3.0
Core definition for the Rust borrow checker3 versions - Latest release: about 7 years ago - 1 dependent repositories - 10.6 thousand downloads total - 1,499 stars on GitHub - 1 maintainer
Check this option to include packages that no longer depend on this package in their latest version but previously did.