GitHub repository: ucbl/HyLAR-Reasoner
Primary language: JavaScript
Description: HyLAR reasoner