Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

ekzhang/crepe

Datalog compiler embedded in Rust as a procedural macro

Owner
ekzhang (personal account)
Stars
Stars: 536
Forks
Forks: 22
Language
Rust
License
Apache-2.0
Created
2020
Topics
datalogrustsoufflestatic-analysislogic-programmingtranslator
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by ekzhang

All 20 repos by ekzhang

Nearby in Rust

All Rust repos