Some of my projects can be found on GitHub.
CombInduce is a program synthesizer for logic programming. It produces comsositional relational programs from examples (think Prolog but every expression has referential transparency). This last version is a performant parallel implementation, an older version that’s more readable (written in Prolog) is packaged with the Rice project.
Rice is a project we built at Uppsala University that makes use of CombInduce for Explainable AI. It’s a set of tools and an automated procedure to generate examples from small neural nets, and using those examples to synthesize programs. The generated logic program is a surrogate for the original neural net, therefore an indirect explanation.