Pinned Loading

1. lf-lang/lingua-franca lf-lang/lingua-franca Public

   Intuitive concurrent programming in any language

   Java 282 76

2. uclid-org/uclid uclid-org/uclid Public

   UCLID5: formal modeling, verification, and synthesis of computational systems

   Scala 152 34

3. pretis/flexpret pretis/flexpret Public

   A time-predictable processor for mixed-criticality systems

   Scala 60 30

4. icyphy/gametime icyphy/gametime Public

   GameTime analyzes worst-case execution times (WCETs) for real-time systems using SMT, machine learning, and on-device measurements.

   Python 4

5. lf-lang/lf-verifier-benchmarks lf-lang/lf-verifier-benchmarks Public

   A benchmark suite for LF verifiers

   Shell 3 3

6. icyphy/satellite-attitude-control icyphy/satellite-attitude-control Public

   Satellite attitude control using Lingua Franca

   HTML 3