ForSyDe

forsyde-shallow

ForSyDe's Haskell-embedded Domain Specific Language

ForSyDe-SystemC

The SystemC implementation of the ForSyDe system modeling and simulation methodology

aesa-radar

type-level

forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems

IDeSyDe

Design space identification and exploration

DeSyDe

This repository contains our design space exploration tool.

forsyde-io

ForSyDe's System-Level intermediate representation and supporting libraries.

forsyde-latex

TikZ/PGF libraries for ForSyDe documents

forsyde-vm

Virtual Machines and Containers for easier life tooling around with ForSyDe

forsyde-atom-examples

forsyde-deep

ForSyDe-Eclipse

ForSyDe Modeling Tools using the Eclipse Modeling Project

forsyde-shallow-examples

forsyde.github.io

ForSyDe main web page

reactive-gpac

EDSL for modeling CT systems

CoInSyDe

dse-esweek-2023-experiments

This repository holds the parameters, tools and scripts to get the results of the Paper 45 ESWEEK'23 submission.

f2cc

ForSyDe-to-CUDA C: A GPGPU backend for ForSyDe

f2dot

A tool for plotting the XML intermediate representation of ForSyDe models

f2sdf3

Converter from ForSyDe-IR to the SDF3 Application Format

forsyde-deep-examples

ForSyDe-Parallel-Simulation

An automated parallel simulation flow for ForSyDe models.

forsyde-shell

A shell environment for all ForSyDe tools

forsyde-systemc-demonstrators

Demonstrator applications for the SystemC-ForSyDe modelling framework

forsyde-web-theme

panorama-kth-demonstrator

parameterized-data

Transformation-Explorer