forsyde / forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems

Home Page:https://forsyde.github.io/forsyde-atom/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

forsyde-atom

Build Status

See web page for more overview, documentation, list of publications and other resources. forsyde.github.io/forsyde-atom, which was generated with Haddock.


OBS: the examples and case studies have been migrated to the forsye-atom-examples repository. Please refer to that repository for further reports and instructions.


Ideas based on the projects forsyde-patterns (George Ungureanu), forsyde-appl (Mikkel Jakobsen) and the `ForSyDe. library (KTH-SAM group)

About

A shallow-embedded DSL for modeling cyber-physical systems

https://forsyde.github.io/forsyde-atom/

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 100.0%