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