ForSyDe

All

30 repositories

forsyde-deep
Public
haskell hardware vhdl forsyde
Haskell
•
Other
•2•1•21•0•Updated Nov 26, 2024Nov 26, 2024
forsyde-atom
Public
A shallow-embedded DSL for modeling cyber-physical systems
haskell edsl hybrid-systems cyber-physical-systems
Haskell
•
BSD 3-Clause "New" or "Revised" License
•2•3•6•0•Updated Nov 12, 2024Nov 12, 2024
forsyde-atom-examples
Public
TeX
•0•1•0•0•Updated Nov 11, 2024Nov 11, 2024
stack-templates
Public
The repository shall provide stack templates that allow a quick start with ForSyDe.
0•0•0•0•Updated Oct 30, 2024Oct 30, 2024
forsyde-io
Public
ForSyDe's System-Level intermediate representation and supporting libraries.
model-based-engineering graph forsyde forsyde-model forsyde-io
Java
•
MIT License
•2•2•0•0•Updated Oct 29, 2024Oct 29, 2024
forsyde.github.io
Public
ForSyDe main web page
HTML
•1•1•0•0•Updated Oct 25, 2024Oct 25, 2024
Transformation-Explorer
Public
Java
•
Other
•1•0•0•1•Updated Oct 19, 2024Oct 19, 2024
IDeSyDe
Public
Design space identification and exploration
design-space-exploration design-space forsyde design-space-identification mobel-based-engineering
Scala
•4•4•3•0•Updated Aug 4, 2024Aug 4, 2024
forsyde-shallow
Public
ForSyDe's Haskell-embedded Domain Specific Language
simulation edsl cyber-physical-systems haskell
Haskell
•
BSD 3-Clause "New" or "Revised" License
•10•12•6•1•Updated Apr 10, 2024Apr 10, 2024
dse-esweek-2023-experiments
Public archive
This repository holds the parameters, tools and scripts to get the results of the Paper 45 ESWEEK'23 submission.
Scala
•
Creative Commons Zero v1.0 Universal
•0•0•0•0•Updated Mar 27, 2024Mar 27, 2024
ForSyDe-SystemC
Public
The SystemC implementation of the ForSyDe system modeling and simulation methodology
C++
•
Other
•4•8•1•2•Updated Dec 27, 2023Dec 27, 2023
forsyde-shallow-examples
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•5•1•7•2•Updated Nov 20, 2023Nov 20, 2023
forsyde-web-theme
Public
SCSS
•
MIT License
•1•0•0•0•Updated Jun 29, 2023Jun 29, 2023
forsyde-deep-examples
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Feb 6, 2023Feb 6, 2023
forsyde-vm
Public
Virtual Machines and Containers for easier life tooling around with ForSyDe
containers virtual-machine forsyde
BSD 3-Clause "New" or "Revised" License
•0•2•0•0•Updated Jan 30, 2023Jan 30, 2023
aesa-radar
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•5•7•0•0•Updated Jan 25, 2023Jan 25, 2023
panorama-kth-demonstrator
Public
Makefile
•
MIT License
•0•0•0•0•Updated Jul 18, 2022Jul 18, 2022
forsyde-latex
Public
TikZ/PGF libraries for ForSyDe documents
pgfplots metafont latex-package tikz-library graphics-primitives
TeX
•
Other
•1•2•2•0•Updated Dec 18, 2021Dec 18, 2021
type-level
Public
Haskell
•
Other
•2•6•0•1•Updated Dec 7, 2021Dec 7, 2021
CoInSyDe
Public
Haskell
•
BSD 3-Clause "New" or "Revised" License
•1•0•0•0•Updated Nov 10, 2021Nov 10, 2021
ForSyDe-Parallel-Simulation
Public
An automated parallel simulation flow for ForSyDe models.
automation parallel-computing embedded-systems constraint-programming cyber-physical-systems forsyde
Python
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Oct 30, 2019Oct 30, 2019
DeSyDe
Public
This repository contains our design space exploration tool.
C++
•
BSD 2-Clause "Simplified" License
•4•2•1•0•Updated Jun 18, 2019Jun 18, 2019
reactive-gpac
Public
EDSL for modeling CT systems
Haskell
•
BSD 3-Clause "New" or "Revised" License
•1•1•0•0•Updated Nov 30, 2017Nov 30, 2017
forsyde-shell
Public
A shell environment for all ForSyDe tools
Shell
•
BSD 3-Clause "New" or "Revised" License
•1•0•4•0•Updated May 23, 2017May 23, 2017
forsyde-systemc-demonstrators
Public
Demonstrator applications for the SystemC-ForSyDe modelling framework
C
•
BSD 3-Clause "New" or "Revised" License
•1•0•3•0•Updated Jan 10, 2017Jan 10, 2017
parameterized-data
Public
Haskell
•
Other
•1•0•0•0•Updated Jul 8, 2016Jul 8, 2016
f2dot
Public
A tool for plotting the XML intermediate representation of ForSyDe models
Python
•
BSD 3-Clause "New" or "Revised" License
•0•0•1•0•Updated Apr 17, 2016Apr 17, 2016
f2sdf3
Public
Converter from ForSyDe-IR to the SDF3 Application Format
XSLT
•
Other
•1•0•1•1•Updated Mar 27, 2016Mar 27, 2016
f2cc
Public
ForSyDe-to-CUDA C: A GPGPU backend for ForSyDe
C++
•
BSD 2-Clause "Simplified" License
•0•0•0•0•Updated Aug 19, 2015Aug 19, 2015
ForSyDe-Eclipse
Public
ForSyDe Modeling Tools using the Eclipse Modeling Project
Java
•
Other
•2•1•0•0•Updated Aug 18, 2015Aug 18, 2015