Pinned Loading

1. omar-os/omar omar-os/omar Public

   Say no to agent “swarms”. Deploy deterministic, verifiable, programmable agentic workflows.

   Rust 50 9

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

   Intuitive concurrent programming in any language

   Java 399 81

3. uclid-org/uclid uclid-org/uclid Public

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

   Scala 158 36

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. pretis/flexpret pretis/flexpret Public

   A time-predictable processor for mixed-criticality systems

   Scala 64 30

6. fprime-community/fpp-tools fprime-community/fpp-tools Public

   LSP, Diagrams & Formatting for FPP

   Rust 6 5