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
alexanyernas/Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
#exercises #logic #logic_programming #practice
Stars: 122 Issues: 0 Forks: 16
https://github.com/alexanyernas/Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
#exercises #logic #logic_programming #practice
Stars: 122 Issues: 0 Forks: 16
https://github.com/alexanyernas/Ejercicios-Practicos
GitHub
GitHub - alexanyernas/Ejercicios-Practicos: Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios. - alexanyernas/Ejercicios-Practicos
SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
Language: Prolog
#logic_programming #prolog #tar #unix
Stars: 166 Issues: 1 Forks: 1
https://github.com/SuperDisk/tar.pl
tar creator+extractor in ~100 lines of prolog
Language: Prolog
#logic_programming #prolog #tar #unix
Stars: 166 Issues: 1 Forks: 1
https://github.com/SuperDisk/tar.pl
GitHub
GitHub - SuperDisk/tar.pl: tar creator+extractor in ~100 lines of prolog
tar creator+extractor in ~100 lines of prolog. Contribute to SuperDisk/tar.pl development by creating an account on GitHub.