GitHub repository: sybila/biodivine-bn-classifier
Primary language: JavaScript
Description: Desktop app for visual exploration of HCTL properties in partially specified Boolean networks.