Skip to content
@PRETgroup

PRETzel

Precision Timed (PRET) Research Group at the University of Auckland

Pinned Loading

  1. ForeC ForeC Public

    Tools developed for the ForeC synchronous parallel language

    C 5 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

Repositories

Showing 10 of 22 repositories
  • HeartModelPub Public
    PRETgroup/HeartModelPub’s past year of commit activity
    MATLAB 1 0 0 0 Updated Oct 18, 2024
  • easy-rte Public

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

    PRETgroup/easy-rte’s past year of commit activity
    SystemVerilog 5 MIT 4 0 1 Updated Sep 24, 2024
  • goFB Public

    An IEC61499 Function Block toolchain written in the Go programming language

    PRETgroup/goFB’s past year of commit activity
    Go 5 MIT 4 1 0 Updated May 30, 2024
  • fbc Public

    Function Blocks Compiler (FBC)

    PRETgroup/fbc’s past year of commit activity
    Java 0 MIT 0 0 0 Updated May 28, 2024
  • bittide_sim_wip Public
    PRETgroup/bittide_sim_wip’s past year of commit activity
    C++ 0 0 0 0 Updated May 8, 2024
  • ForeC Public

    Tools developed for the ForeC synchronous parallel language

    PRETgroup/ForeC’s past year of commit activity
    C 5 GPL-3.0 2 6 0 Updated Apr 12, 2024
  • easy-rte-incremental Public Forked from PRETgroup/easy-rte

    Toolchain to automatically generate and verify incrementally composed C runtime enforcers from text-based framework

    PRETgroup/easy-rte-incremental’s past year of commit activity
    Go 0 MIT 4 0 0 Updated Jan 26, 2023
  • timeme Public

    Function block examples used in the Model-Driven Design Using IEC 61499 book

    PRETgroup/timeme’s past year of commit activity
    Raku 0 MIT 0 0 0 Updated Nov 7, 2022
  • drone-attack-enforcers Public

    Drone simulation with attacker modelling using runtime enforcers

    PRETgroup/drone-attack-enforcers’s past year of commit activity
    Python 3 MIT 0 0 0 Updated Sep 7, 2022
  • ceu_bittide Public

    A WIP implementation of the bittide protocol in the synchronous language Ceu

    PRETgroup/ceu_bittide’s past year of commit activity
    C 0 0 0 0 Updated Jul 12, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…