Skip to content
Change the repository type filter

All

    Repositories list

    • gametime

      Public
      Python
      0200Updated Oct 3, 2024Oct 3, 2024
    • Satellite attitude control using Lingua Franca
      HTML
      0200Updated Oct 3, 2024Oct 3, 2024
    • Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.
      C
      BSD 2-Clause "Simplified" License
      0730Updated Jun 3, 2024Jun 3, 2024
    • SCSS
      Other
      1021Updated May 30, 2024May 30, 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
      Other
      43992262Updated Aug 17, 2023Aug 17, 2023
    • gametime-v1.5

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

      Public
      JUnit test output for the ptII tests
      BSD 2-Clause "Simplified" License
      1010Updated Jul 6, 2022Jul 6, 2022
    • accessors

      Public
      Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).
      C
      Other
      55210Updated Mar 22, 2022Mar 22, 2022
    • Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
      JavaScript
      BSD 2-Clause "Simplified" License
      1100Updated Jan 6, 2022Jan 6, 2022
    • Build Kepler - the scientific workflow system
      Shell
      BSD 2-Clause "Simplified" License
      2410Updated Nov 11, 2021Nov 11, 2021
    • Exploring the space of properties
      Python
      Other
      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