# Reference

0. []()
0. [Souffle: Logic Defined Static Analysis.](https://souffle-lang.github.io/index.html)
0. [Fusing Industry and Academia at GitHub (Experience Report)](https://arxiv.org/abs/2206.09206)
0. [Software can literally be perfect](https://www.youtube.com/watch?v=Lf7ML_ErWvQ)
0. [Magmide](https://github.com/magmide/magmide)