Laboratoire d'informatique formelle's repositories
beepbeep-3
An event stream processor anyone can use
beepbeep-3-palettes
A bundle of user-contributed extensions to BeepBeep 3
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-polyglot
A multi-interpreter for BeepBeep 3
hypercompliance
A BeepBeep palette to evaluate hyperqueries on event logs
Language:Java000
Language:Java000
Language:Java000
pattern-detection-lab
A study of pattern detection strategies using runtime verification
programmatic-spreadsheet
A provenance-aware spreadsheet manipulation library
symbolic-beepbeep
Modeling of BeepBeep processors in NuSMV