PRETzel (@PRETgroup)
Guthub

PRETgroup

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Org. Rank 121,231 (Top 39 %)
  • Registered over 9 years ago
  • Most used languages
    Go
         33.3 %
    Kotlin
         16.7 %
    SystemVerilog     16.7 %
    Python
         16.7 %
    C
         16.7 %
  • Location 🇳🇿 New Zealand
  • Country Total Rank 2,235
  • Country Ranking
    SystemVerilog     1
    Kotlin
         60
    Go
         140
    C
         230
    Python
         1,035

Top repositories

1

ForeC

Tools developed for the ForeC synchronous parallel language
C
5
star
2

goFB

An IEC61499 Function Block toolchain written in the Go programming language
Go
5
star
3

easy-rte

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

drone-attack-enforcers

Drone simulation with attacker modelling using runtime enforcers
Python
2
star
5

modular-code-generation

Modular Code Generation from Hybrid Automata
Kotlin
2
star
6

easy-rv

Toolchain to automatically generate and verify SW runtime monitors (in C) from text-based FSM
Go
1
star