GitHub repository: vishalbelsare/cosmos
Primary language: C++
Description: A new logic programming language.