Skip to content
@reactive-systems

Reactive Systems Group

CISPA Helmholtz Center for Information Security

Pinned Loading

  1. bosy bosy Public

    BoSy is a reactive synthesis tool based on constraint-solving

    Swift 22 11

  2. RTLola-Frontend RTLola-Frontend Public

    Rust 4 1

  3. RTLola-Interpreter RTLola-Interpreter Public

    Rust 4 1

  4. eahyper eahyper Public

    A Satisfiability Solver for Hyperproperties

    C++ 4 1

  5. realizer realizer Public

    Simple solver for safety games as specified by the synthesis competition (SYNTCOMP)

    Python

  6. syfco syfco Public

    Synthesis Format Conversion Tool

    Haskell 28 15

Repositories

Showing 10 of 52 repositories
  • Robust-Lola Public

    Implementation and Evaluation of Lola with Slack Variables

    reactive-systems/Robust-Lola's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Aug 12, 2026
  • FairMon Public

    Fairness Monitoring Frontend for RTLola

    reactive-systems/FairMon's past year of commit activity
    Rust 0 0 0 0 Updated Aug 5, 2026
  • RTLola-Frontend Public
    reactive-systems/RTLola-Frontend's past year of commit activity
    Rust 4 1 1 0 Updated Apr 22, 2026
  • rtlola-streamir Public
    reactive-systems/rtlola-streamir's past year of commit activity
    Rust 1 0 0 0 Updated Dec 5, 2025
  • RTLola-Interpreter Public
    reactive-systems/RTLola-Interpreter's past year of commit activity
    Rust 4 1 0 0 Updated Dec 5, 2025
  • syfco Public

    Synthesis Format Conversion Tool

    reactive-systems/syfco's past year of commit activity
    Haskell 28 MIT 15 14 1 Updated Nov 18, 2025
  • rtlola-compilation-clash Public

    Hardware monitor from RTLola specifications by compiling to Clash HDL

    reactive-systems/rtlola-compilation-clash's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Oct 27, 2025
  • rtlola-active-monitoring Public
    reactive-systems/rtlola-active-monitoring's past year of commit activity
    0 0 0 0 Updated Jul 28, 2025
  • rtlola-compilation-vhdl Public
    reactive-systems/rtlola-compilation-vhdl's past year of commit activity
    VHDL 3 AGPL-3.0 0 0 0 Updated Apr 16, 2025
  • ml2 Public

    Machine Learning for Mathematics and Logics

    reactive-systems/ml2's past year of commit activity
    Python 16 MIT 8 2 0 Updated Apr 1, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…