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
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
GitHub
GitHub - ekzhang/crepe: Datalog compiler embedded in Rust as a procedural macro
Datalog compiler embedded in Rust as a procedural macro - ekzhang/crepe