GitHub / kieler / semantics
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kieler%2Fsemantics
PURL: pkg:github/kieler/semantics
Stars: 15
Forks: 7
Open issues: 54
License: None
Language: Java
Size: 594 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: 20 days ago
Pushed at: 8 days ago
Last synced at: 8 days ago
Topics: diagrams, esterel, model-driven-development, model-driven-engineering, modeling, modeling-tool, sccharts, scest, scl, sequential-constructiveness, simulation, synchronous-language, verification, visualization