GitHub repository: knowsys/rulewerk-language-suppport
Primary language: TypeScript
Description: A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).