ekzhang/crepe

Datalog compiler embedded in Rust as a procedural macro

↗ Open on GitHub

Stars

530

Forks

21

Language

Rust

License

Apache-2.0

Last push

9 months ago

Rust rust static-analysis logic-programming datalog souffle translator

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.