Repositories list

• pattern-detection-lab

  Public archive
  A study of pattern detection strategies using runtime verification

  devops-toolsbeepbeeppattern-detection

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

• beepbeep-3

  Public
  An event stream processor anyone can use

  log-analysisevent-streamcep+ 3stream-processingbeepbeepstream-processing-engine

  Java

  •

  GNU Lesser General Public License v3.0

  •16•25•20•1•Updated Oct 10, 2024Oct 10, 2024

• hypercompliance

  Public
  A BeepBeep palette to evaluate hyperqueries on event logs

  event-logcompliancebeepbeep+ 5hyperpropertiesxesbeepbeep-3-palettehyperquerieshypercompliance

  Java

  •0•0•0•0•Updated Oct 8, 2024Oct 8, 2024

• beepbeep-3-groovy-bridge

  Public
  Java

  •0•0•1•0•Updated Sep 4, 2024Sep 4, 2024

• beepbeep-3-palettes

  Public
  A bundle of user-contributed extensions to BeepBeep 3

  stream-processingbeepbeep

  Java

  •

  GNU Lesser General Public License v3.0

  •6•6•3•1•Updated Sep 4, 2024Sep 4, 2024

• tecuoptitep

  Public
  Java

  •1•0•0•0•Updated Aug 27, 2024Aug 27, 2024

• lif-dag

  Public
  Java

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• lif-toolbox

  Public
  Java

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• shaded-compliance

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Jul 5, 2024Jul 5, 2024

• symbolic-beepbeep

  Public archive
  Modeling of BeepBeep processors in NuSMV

  stream-processingmodel-checkingbeepbeep+ 1nusmv

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

• synthia

  Public
  A configurable synthesizer of complex data structures

  random-generationfuzzingsynthetic-data+ 4complex-structurestest-input-generationgrammar-based-fuzzingrandom

  Java

  •

  GNU General Public License v3.0

  •1•7•12•1•Updated Jun 18, 2024Jun 18, 2024

• mister-sparql

  Public
  Java

  •0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

• programmatic-spreadsheet

  Public
  A provenance-aware spreadsheet manipulation library

  Java

  •1•0•4•0•Updated May 2, 2024May 2, 2024

• labpal

  Public
  Easily run experiments on a computer

  reproducible-researchopen-scienceexperiments-results+ 9benchmark-frameworkreusable-artifactsinteractive-articlesartifact-evaluationlabpalexperimentallab+ 2

  Java

  •

  GNU General Public License v3.0

  •3•2•49•1•Updated May 1, 2024May 1, 2024

• lif-fs

  Public
  Abstract file system manipulations

  ftpfile-systemfile-management+ 1zipfile

  Java

  •

  GNU General Public License v3.0

  •0•0•7•0•Updated Apr 18, 2024Apr 18, 2024

• petitpoucet

  Public
  Trace data points back to their source

  functional-programmingcausalitytraceability+ 2lineageexplainability

  Java

  •3•2•7•0•Updated Nov 7, 2023Nov 7, 2023

• cryptools

  Public
  Simple tools for cryptographic operations in Java

  mock-encryptionjavacryptography+ 3encryptionaesrsa

  Java

  •0•0•0•0•Updated Oct 25, 2023Oct 25, 2023

• peebpeeb

  Public
  Inversion of BeepBeep pipelines

  Java

  •1•0•0•0•Updated Oct 17, 2023Oct 17, 2023

• beepbeep-3-examples

  Public
  A large repository of code examples using BeepBeep and various palettes

  Java

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

• petitpoucet-circuit-lab

  Public
  Java

  •0•0•0•0•Updated Aug 17, 2023Aug 17, 2023

• lif-units

  Public
  Handling of numbers with units and uncertainty

  uncertaintymeasurementunits-of-measurement+ 1units-converter

  Java

  •0•0•0•0•Updated May 7, 2023May 7, 2023

• OSSRH-89746

  Public
  0•0•0•0•Updated Mar 15, 2023Mar 15, 2023

• brpc2022

  Public
  Java

  •1•0•0•0•Updated Jun 24, 2022Jun 24, 2022

• artichoke-x

  Public archive
  A library for managing peer-action sequences within document metadata

  Java

  •2•1•0•0•Updated Jun 21, 2022Jun 21, 2022

• multitrace-enforcement-lab

  Public archive
  Java

  •0•0•0•0•Updated May 11, 2022May 11, 2022

• dom-pp

  Public
  JavaScript

  •

  MIT License

  •4•0•11•1•Updated Apr 1, 2022Apr 1, 2022

• beepbeep-3-polyglot

  Public
  A multi-interpreter for BeepBeep 3

  Java

  •0•0•0•0•Updated Feb 4, 2022Feb 4, 2022

• hotfix-lab

  Public
  Java

  •0•0•0•0•Updated Sep 13, 2021Sep 13, 2021

• rv-monitor-benchmark

  Public
  Java

  •0•0•0•0•Updated Jul 11, 2021Jul 11, 2021

• graph-benchmark

  Public
  Java

  •0•0•0•0•Updated Jun 16, 2021Jun 16, 2021