PRETzel

Pinned Loading

1. ForeC ForeC Public

   Tools developed for the ForeC synchronous parallel language

   C 6 2

2. modular-code-generation modular-code-generation Public

   Modular Code Generation from Hybrid Automata

   Kotlin 2 3

3. easy-rte easy-rte Public

   Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework

   SystemVerilog 5 4