Ecosyste.ms: Packages

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

crates.io : egglog

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.

Registry - Source - Documentation - JSON
purl: pkg:cargo/egglog
Keywords: egglog, equality, e-graphs, datalog, compiler
License: MIT
Latest release: 7 months ago
First release: 7 months ago
Downloads: 347 total
Stars: 343 on GitHub
Forks: 39 on GitHub
Docker dependents: 22
Docker downloads: 18,696,325
See more repository details: repos.ecosyste.ms
Last synced: 9 days ago

    Loading...
    Readme
    Loading...