Skip to content
@SpectraSynthesizer

Spectra Synthesizer

Public repositories for the Spectra Synthesizer project of the Software Modeling Lab, Tel Aviv University

Popular repositories Loading

  1. spectra-synt spectra-synt Public

    Spectra Synthesizer

    Java 6 3

  2. spectra-ext spectra-ext Public

    Spectra Synthesizer Extensions

    Java 3 1

  3. spectra-specs spectra-specs Public

    Spectra Specifications Examples

    Perl 2

  4. spectra-lang spectra-lang Public

    Spectra Specification Language

    Java 1 2

  5. spectra-cli spectra-cli Public

    Spectra Synthesizer command line interface

    Java 1

  6. spectra-executor spectra-executor Public

    Executor of synthesized controllers

    HTML 1

Repositories

Showing 8 of 8 repositories
  • spectra-synt Public

    Spectra Synthesizer

    SpectraSynthesizer/spectra-synt’s past year of commit activity
    Java 6 BSD-3-Clause 3 1 0 Updated Mar 14, 2024
  • spectra-lang Public

    Spectra Specification Language

    SpectraSynthesizer/spectra-lang’s past year of commit activity
    Java 1 BSD-3-Clause 2 0 0 Updated Feb 12, 2024
  • spectra-executor Public

    Executor of synthesized controllers

    SpectraSynthesizer/spectra-executor’s past year of commit activity
    HTML 1 BSD-3-Clause 0 0 1 Updated Nov 19, 2023
  • spectra-ext Public

    Spectra Synthesizer Extensions

    SpectraSynthesizer/spectra-ext’s past year of commit activity
    Java 3 BSD-3-Clause 1 2 0 Updated Nov 19, 2023
  • spectra-cudd Public

    Modified version of the CUDD library

    SpectraSynthesizer/spectra-cudd’s past year of commit activity
    C 0 BSD-3-Clause 0 0 0 Updated Jul 4, 2023
  • spectra-cli Public

    Spectra Synthesizer command line interface

    SpectraSynthesizer/spectra-cli’s past year of commit activity
    Java 1 BSD-3-Clause 0 1 0 Updated Jul 4, 2023
  • spectra-sim Public

    Examples of simulations using Spectra synthesized controllers

    SpectraSynthesizer/spectra-sim’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Jun 8, 2023
  • spectra-specs Public

    Spectra Specifications Examples

    SpectraSynthesizer/spectra-specs’s past year of commit activity
    Perl 2 BSD-3-Clause 0 0 0 Updated Aug 19, 2020

Top languages

Loading…

Most used topics

Loading…