Skip to content
Change the repository type filter

All

    Repositories list

    • gametime

      Public
      Python
      0201Updated Aug 30, 2025Aug 30, 2025
    • emsoft25

      Public
      Artifact repo for the EMSOFT '25 paper "Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware"
      C
      0001Updated Aug 22, 2025Aug 22, 2025
    • SCSS
      1021Updated Jul 29, 2025Jul 29, 2025
    • Satellite attitude control using Lingua Franca
      HTML
      0310Updated Oct 3, 2024Oct 3, 2024
    • Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.
      C
      0730Updated Jun 3, 2024Jun 3, 2024
    • Data determinism (LF) meets time determinism (FlexPRET).
      C
      2460Updated May 18, 2024May 18, 2024
    • ptII

      Public
      Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
      Java
      471112272Updated Aug 17, 2023Aug 17, 2023
    • gametime-v1.5

      Public archive
      Toolkit for the timing analysis of software
      Python
      0000Updated Sep 20, 2022Sep 20, 2022
    • ptII-test

      Public
      JUnit test output for the ptII tests
      1010Updated Jul 6, 2022Jul 6, 2022
    • accessors

      Public
      Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).
      C
      55210Updated Mar 22, 2022Mar 22, 2022
    • Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
      JavaScript
      1100Updated Jan 6, 2022Jan 6, 2022
    • Build Kepler - the scientific workflow system
      Shell
      2410Updated Nov 11, 2021Nov 11, 2021
    • Exploring the space of properties
      Python
      2040Updated Dec 4, 2018Dec 4, 2018
    • ptclassic

      Public
      Ptolemy Classic is a heterogeneous simulation and design environment supporting multiple models of computation. See ptII for more recent work.
      C
      3100Updated Mar 2, 2018Mar 2, 2018