GitHub repository: ogavb/LoIDE
Primary language: JavaScript
Description: Web-based IDE for Logic Programming