GitHub repository: robsimmons/dusa
Primary language: TypeScript
Description: A logic programming language that has features of both Datalog and answer set programming.