Repositories list

• sonicPiDiffCalc

  Public
  Python

  •0•0•0•0•Updated Oct 17, 2024Oct 17, 2024

• TSL_LLM_Benchmark

  Public
  Benchmark for TSLLLM

  HTML

  •1•4•1•0•Updated Aug 16, 2024Aug 16, 2024

• aaai2020-summary

  Public
  JavaScript

  •0•0•0•0•Updated Aug 13, 2024Aug 13, 2024

• tsltools

  Public
  Library and tools for the TSL specification format

  Haskell

  •

  Other

  •9•7•15•1•Updated Aug 12, 2024Aug 12, 2024

• spiralApp

  Public
  Python

  •0•0•3•0•Updated Aug 7, 2024Aug 7, 2024

• CYOA-TSL

  Public
  Choose your own TSL adventure!

  JavaScript

  •1•0•2•0•Updated Jul 2, 2024Jul 2, 2024

• tsl-api

  Public
  putting tsl online

  JavaScript

  •0•0•1•0•Updated Jul 2, 2024Jul 2, 2024

• spiralAnalysis_frontEnd

  Public
  JavaScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 28, 2024Jun 28, 2024

• esp32-tanks

  Public
  C

  •0•5•2•0•Updated May 9, 2024May 9, 2024

• IaCAnalysis

  Public
  Static Analysis of Infrastructure as Code

  Python

  •

  Apache License 2.0

  •0•4•0•0•Updated Mar 22, 2024Mar 22, 2024

• TSL-llm-codegen

  Public
  0•1•0•0•Updated Feb 23, 2024Feb 23, 2024

• barnard-pl-labs.github.io

  Public
  (minimal) Lab Website

  0•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• MaxPy

  Public
  A Python package for automated generation of MaxMSP patches.

  Python

  •

  Other

  •0•3•2•0•Updated Jan 8, 2024Jan 8, 2024

• syfco

  Public
  Synthesis Format Conversion Tool

  Haskell

  •

  MIT License

  •12•0•0•0•Updated Oct 12, 2023Oct 12, 2023

• moveCube

  Public
  JavaScript

  •1•0•1•0•Updated Sep 7, 2023Sep 7, 2023

• DMXSynthesis

  Public
  Python

  •0•0•0•0•Updated Jul 25, 2023Jul 25, 2023

• RTS-TSL

  Public
  an RTS game with TSL

  JavaScript

  •0•0•0•0•Updated Jul 17, 2023Jul 17, 2023

• snakeTSL

  Public
  The Snake game created using reactive program synthesis

  JavaScript

  •1•0•0•0•Updated May 8, 2023May 8, 2023

• ESP32Synth

  Public
  making a synth with an esp32 and a pcm5102

  C++

  •0•0•0•0•Updated Apr 25, 2023Apr 25, 2023

• tslBlocks

  Public
  Google Blockly-based structure editor for TSL: https://barnard-pl-labs.github.io/tslBlocks/

  JavaScript

  •0•0•2•0•Updated Mar 13, 2023Mar 13, 2023

• temos

  Public archive
  TeMoS: Temporal Stream Logic Modulo Theories Synthesis

  Rust

  •

  GNU Affero General Public License v3.0

  •0•5•0•0•Updated Jan 28, 2023Jan 28, 2023

• animateDG

  Public
  PL Lab User Study Interface: moveCube x dynamicGrammars

  JavaScript

  •0•0•0•0•Updated Dec 2, 2022Dec 2, 2022

• tsl-vscode

  Public
  TSL vscode extension

  TypeScript

  •

  MIT License

  •1•0•0•0•Updated Dec 2, 2022Dec 2, 2022

• text-to-code-to-image

  Public
  Jupyter Notebook

  •0•0•0•1•Updated Nov 17, 2022Nov 17, 2022

• TAI_notecards

  Public
  JavaScript

  •

  Apache License 2.0

  •0•0•3•0•Updated Nov 4, 2022Nov 4, 2022

• dynamicGrammars

  Public
  JavaScript

  •2•0•3•0•Updated Aug 29, 2022Aug 29, 2022

• blog

  Public
  HTML

  •0•1•0•0•Updated Aug 18, 2022Aug 18, 2022

• wellnesstracking

  Public
  C

  •0•0•0•0•Updated Aug 4, 2022Aug 4, 2022

• xstate-viz

  Public
  Visualizer for XState machines

  TypeScript

  •102•0•0•0•Updated Apr 25, 2022Apr 25, 2022

• SequencerLiveCoding

  Public
  Live Coding for the Novation Circuit

  JavaScript

  •5•19•9•0•Updated Mar 30, 2022Mar 30, 2022