Repositories list

• icyphy.github.io

  Public
  SCSS

  •

  Other

  •1•0•2•1•Updated Dec 20, 2024Dec 20, 2024

• gametime

  Public
  Python

  •0•2•0•0•Updated Dec 6, 2024Dec 6, 2024

• pretvm-artifacts

  Public
  C

  •0•0•0•0•Updated Dec 26, 2024Dec 26, 2024

• satellite-attitude-control

  Public
  Satellite attitude control using Lingua Franca

  HTML

  •0•2•1•0•Updated Oct 3, 2024Oct 3, 2024

• lf-flexpret

  Public
  Data determinism (LF) meets time determinism (FlexPRET).

  C

  •2•4•6•0•Updated May 18, 2024May 18, 2024

• ptII

  Public
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.

  actor-modelactor-libraryptolemy

  Java

  •

  Other

  •44•101•227•2•Updated Aug 17, 2023Aug 17, 2023

• lf-buckler

  Public
  Programming an nRF embedded board with a Berkeley Buckler daughter card using Lingua Franca.

  C

  •

  BSD 2-Clause "Simplified" License

  •0•7•3•0•Updated Jun 3, 2024Jun 3, 2024

• ptII-test

  Public
  JUnit test output for the ptII tests

  BSD 2-Clause "Simplified" License

  •1•0•1•0•Updated Jul 6, 2022Jul 6, 2022

• accessors

  Public
  Accessors enable composing heterogeneous devices and services in the Internet of Things (IoT).

  C

  •

  Other

  •5•5•21•0•Updated Mar 22, 2022Mar 22, 2022

• github-issue-junit

  Public
  Read JUnit HTML output from Travis and add a comment to an open issue on GitHub.

  JavaScript

  •

  BSD 2-Clause "Simplified" License

  •1•1•0•0•Updated Jan 6, 2022Jan 6, 2022

• kepler-build

  Public
  Build Kepler - the scientific workflow system

  Shell

  •

  BSD 2-Clause "Simplified" License

  •2•4•1•0•Updated Nov 11, 2021Nov 11, 2021

• spec-space

  Public
  Exploring the space of properties

  Python

  •

  Other

  •2•0•4•0•Updated 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

  •3•1•0•0•Updated Mar 2, 2018Mar 2, 2018