egglog

v2.0.0crates.io· Rust

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.

The verdict

Worth a look. Actively maintained and growing, actively maintained.

Live from the crates.io registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityRising

SecurityClean

LicensePermissive

DepsZero deps

Maintenance

Last published 4 months ago.

Popularity

5.4K downloads / week

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

No runtime dependencies

Recent releases

2.0.04 months ago
1.0.07 months ago
0.5.012 months ago
0.4.0over a year ago
0.3.0over a year ago
0.2.02 years ago
0.1.02 years ago