Skip to content
@reactive-systems

Reactive Systems Group

Saarland University

Pinned

  1. bosy bosy Public

    BoSy is a reactive synthesis tool based on constraint-solving

    Swift 18 11

  2. RTLola-Frontend RTLola-Frontend Public

    Rust 1 1

  3. RTLola-Interpreter RTLola-Interpreter Public

    Rust

  4. eahyper eahyper Public

    A Satisfiability Solver for Hyperproperties

    C++ 3 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 23 11

Repositories

Showing 10 of 43 repositories
  • syfco Public

    Synthesis Format Conversion Tool

    Haskell 23 MIT 11 15 0 Updated May 31, 2024
  • eahyper Public

    A Satisfiability Solver for Hyperproperties

    C++ 3 ISC 1 0 0 Updated Apr 29, 2024
  • HyGaViz Public
    JavaScript 0 GPL-3.0 0 0 0 Updated Apr 26, 2024
  • icedude Public

    A programming tool for the iCE40 FPGA evaluation boards.

    Haskell 11 MIT 1 1 0 Updated Apr 12, 2024
  • ml2 Public

    Machine Learning for Mathematics and Logics

    Python 8 MIT 5 1 0 Updated Apr 9, 2024
  • corp Public

    A tool to synthesize causes for omega-regular properties.

    Jupyter Notebook 0 GPL-3.0 0 0 0 Updated Apr 8, 2024
  • rtlola-uav-specifications Public

    This repository contains the RTLola specifications that have been developed as part of a research project between CISPA, DLR, and Volocopter.

    0 MIT 0 0 0 Updated Jan 27, 2024
  • LuSy Public
    0 0 0 0 Updated Jan 26, 2024
  • NeuroSynt Public

    NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis

    Python 0 0 0 0 Updated Jan 22, 2024
  • MCHyper Public

    A hardware model checker for hyperproperties

    Verilog 18 AGPL-3.0 1 1 0 Updated Nov 14, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…