Laboratoire d'informatique formelle

beepbeep-3

An event stream processor anyone can use

synthia

A configurable synthesizer of complex data structures

beepbeep-3-palettes

A bundle of user-contributed extensions to BeepBeep 3

labpal

Easily run experiments on a computer

petitpoucet

Trace data points back to their source

artichoke-x

A library for managing peer-action sequences within document metadata

beepbeep-3-examples

A large repository of code examples using BeepBeep and various palettes

beepbeep-3-animated-examples

Animated examples of BeepBeep 3 processor chains

beepbeep-3-groovy-bridge

beepbeep-3-polyglot

A multi-interpreter for BeepBeep 3

brpc2022

CorniSel

A JUnit and Selenium WebDriver extension to check and explain assertions on web pages.

cryptools

Simple tools for cryptographic operations in Java

dom-pp

graph-benchmark

hotfix-lab

hypercompliance

A BeepBeep palette to evaluate hyperqueries on event logs

lif-fs

Abstract file system manipulations

lif-style

Coding style rules for LIF projects

lif-units

Handling of numbers with units and uncertainty

mtnp

Manipulate tables and plots in Java

multitrace-enforcement-lab

OSSRH-89746

pattern-detection-lab

A study of pattern detection strategies using runtime verification

peebpeeb

Inversion of BeepBeep pipelines

petitpoucet-circuit-lab

programmatic-spreadsheet

A provenance-aware spreadsheet manipulation library

rv-monitor-benchmark

symbolic-beepbeep

Modeling of BeepBeep processors in NuSMV

tecuoptitep