dezyne
There are 5 repositories under dezyne topic.
dezyne/community
Share ideas and examples related to Dezyne among Dezyne users
janwilmans/DezyneSamples
Simple examples of Dezyne models and their generated code
EmreCem/dbl-embedded-systems
A robot built with Fischer Technik and Raspberry Pi. Formal verification using Verum's Dezyne.
hackwerken/DezyneCMake
CMake module for Dezyne