GitHub repository: sybila/biodivine-aeon-sketchbook
Primary language: Rust
Description: SketchBook is a multi-platform application for designing and analysing large-scale logical models.