ForSyDe's repositories
forsyde-shallow
ForSyDe's Haskell-embedded Domain Specific Language
ForSyDe-SystemC
The SystemC implementation of the ForSyDe system modeling and simulation methodology
forsyde-atom
A shallow-embedded DSL for modeling cyber-physical systems
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-Eclipse
ForSyDe Modeling Tools using the Eclipse Modeling Project
forsyde.github.io
ForSyDe main web page
reactive-gpac
EDSL for modeling CT systems
dse-esweek-2023-experiments
This repository holds the parameters, tools and scripts to get the results of the Paper 45 ESWEEK'23 submission.
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