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