GitHub repository: viktormalik/smg3
Primary language: C++
Description: Symbolic Memory Graphs library, this time in C++!