Pursuing a Bachelor's degree in Artificial Intelligence at the University of Science and Technology of China.
dune-z / crepe Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
License: Apache License 2.0