ekzhang/crepe
Datalog compiler in Rust as a procedural macro
Language: Rust
#datalog #logic_programming #rust #souffle #static_analysis #translator
Stars: 92 Issues: 0 Forks: 1
https://github.com/ekzhang/crepe