Skip to content
Change the repository type filter

All

    Repositories list

    • Experiments on the reaction-level CAL theorem
      Jupyter Notebook
      0000Updated Apr 25, 2026Apr 25, 2026
    • ptII

      Public
      Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
      Java
      Other
      471282271Updated Apr 17, 2026Apr 17, 2026
    • gametime

      Public
      GameTime analyzes worst-case execution times (WCETs) for real-time systems using SMT, machine learning, and on-device measurements.
      Python
      0400Updated Mar 3, 2026Mar 3, 2026
    • emsoft25

      Public
      Artifact repo for the EMSOFT '25 paper "Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware"
      C
      0201Updated Jan 22, 2026Jan 22, 2026
    • SCSS
      Other
      1021Updated Jan 5, 2026Jan 5, 2026
    • LLVM
      0200Updated Dec 19, 2025Dec 19, 2025
    • Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.
      JavaScript
      BSD 2-Clause "Simplified" License
      1100Updated Oct 1, 2025Oct 1, 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
      BSD 2-Clause "Simplified" License
      0730Updated Jun 3, 2024Jun 3, 2024
    • Data determinism (LF) meets time determinism (FlexPRET).
      C
      2460Updated May 18, 2024May 18, 2024
    • 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
    • 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
      4200Updated Mar 2, 2018Mar 2, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.