forsyde Goto Github PK

aesa-radar

coinsyde

desyde

This repository contains our design space exploration tool.

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-atom

A shallow-embedded DSL for modeling cyber-physical systems

forsyde-atom-examples

forsyde-deep

forsyde-deep-examples

forsyde-eclipse

ForSyDe Modeling Tools using the Eclipse Modeling Project

forsyde-io

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

forsyde-latex

TikZ/PGF libraries for ForSyDe documents

forsyde-parallel-simulation

An automated parallel simulation flow for ForSyDe models.

forsyde-shallow

ForSyDe's Haskell-embedded Domain Specific Language

forsyde-shallow-examples

forsyde-shell

A shell environment for all ForSyDe tools

forsyde-systemc

The SystemC implementation of the ForSyDe system modeling and simulation methodology

forsyde-systemc-demonstrators

Demonstrator applications for the SystemC-ForSyDe modelling framework

forsyde-vm

Virtual Machines and Containers for easier life tooling around with ForSyDe

forsyde-web-theme

forsyde.github.io

ForSyDe main web page

idesyde

Design space identification and exploration

panorama-kth-demonstrator

parameterized-data

reactive-gpac

EDSL for modeling CT systems

transformation-explorer

type-level