Pinned Loading

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

   Intuitive concurrent programming in any language

   Java 240 63

2. pretis/flexpret pretis/flexpret Public

   A time-predictable processor for mixed-criticality systems

   Scala 57 29

3. icyphy/lf-flexpret icyphy/lf-flexpret Public

   Data determinism (LF) meets time determinism (FlexPRET).

   C 4 2

4. uclid-org/uclid uclid-org/uclid Public

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

   Scala 136 32

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

   A benchmark suite for LF verifiers

   Shell 3 2

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

   Satellite attitude control using Lingua Franca

   HTML 2