Industrial Cyberphysical Systems (iCyPhy)'s repositories
lf-buckler
Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.
kepler-build
Build Kepler - the scientific workflow system
lf-flexpret
Data determinism (LF) meets time determinism (FlexPRET).
github-issue-junit
Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
gametime-v1.5
Toolkit for the timing analysis of software
spec-space
Exploring the space of properties