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

Repositories

Showing 10 of 24 repositories
  • compsys303-sccharts-class-examples Public

    These are the examples of scchsrts taught in class

    PRETgroup/compsys303-sccharts-class-examples's past year of commit activity
    0 0 0 0 Updated Aug 24, 2026
  • PACER-Heart-Model Public
    PRETgroup/PACER-Heart-Model's past year of commit activity
    MATLAB 3 Apache-2.0 5 0 0 Updated Aug 20, 2026
  • rv-artifact-threevalued-observers Public
    PRETgroup/rv-artifact-threevalued-observers's past year of commit activity
    Python 0 MIT 0 0 0 Updated Aug 12, 2026
  • bittide_sim_wip Public
    PRETgroup/bittide_sim_wip's past year of commit activity
    C++ 0 1 0 2 Updated Dec 9, 2025
  • PRETgroup.github.io Public
    PRETgroup/PRETgroup.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Apr 10, 2025
  • modular-code-generation Public

    Modular Code Generation from Hybrid Automata

    PRETgroup/modular-code-generation's past year of commit activity
    Kotlin 2 MIT 3 3 0 Updated Jan 15, 2025
  • 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 Nov 15, 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
  • ForeC Public

    Tools developed for the ForeC synchronous parallel language

    PRETgroup/ForeC's past year of commit activity
    C 6 GPL-3.0 2 6 0 Updated Apr 12, 2024
View all repositories

Most used topics

Loading…