Skip to content
@liflab

Laboratoire d'informatique formelle

Academic research lab focusing on the development of tools for software specification, testing and verification

Pinned Loading

  1. beepbeep-3 beepbeep-3 Public

    An event stream processor anyone can use

    Java 27 16

  2. beepbeep-3-palettes beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    Java 6 6

  3. labpal labpal Public

    Easily run experiments on a computer

    Java 2 3

  4. sealtest sealtest Public

    A library for generating test sequences according to various algorithms

    Java 3 2

  5. petitpoucet petitpoucet Public

    Trace data points back to their source

    Java 3 3

Repositories

Showing 10 of 74 repositories
  • lif-fs Public

    Abstract file system manipulations

    liflab/lif-fs’s past year of commit activity
    Java 0 GPL-3.0 0 7 0 Updated Dec 15, 2025
  • programmatic-spreadsheet Public

    A provenance-aware spreadsheet manipulation library

    liflab/programmatic-spreadsheet’s past year of commit activity
    Java 0 1 4 0 Updated Nov 28, 2025
  • petitpoucet Public

    Trace data points back to their source

    liflab/petitpoucet’s past year of commit activity
    Java 3 3 7 0 Updated Nov 26, 2025
  • assertion-study Public
    liflab/assertion-study’s past year of commit activity
    0 0 0 0 Updated Nov 6, 2025
  • piglet Public
    liflab/piglet’s past year of commit activity
    Java 0 GPL-3.0 0 0 0 Updated Nov 6, 2025
  • siem-monitor Public
    liflab/siem-monitor’s past year of commit activity
    Java 0 0 0 0 Updated Aug 23, 2025
  • beepbeep-3-groovy-bridge Public
    liflab/beepbeep-3-groovy-bridge’s past year of commit activity
    Java 0 0 1 0 Updated Aug 22, 2025
  • beepbeep-3-palettes Public

    A bundle of user-contributed extensions to BeepBeep 3

    liflab/beepbeep-3-palettes’s past year of commit activity
    Java 6 LGPL-3.0 6 4 1 Updated Aug 22, 2025
  • beepbeep-3-eclipse Public

    An Ant script that sets up an Eclipse workspace for generic projects

    liflab/beepbeep-3-eclipse’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Aug 21, 2025
  • beepbeep-3 Public

    An event stream processor anyone can use

    liflab/beepbeep-3’s past year of commit activity
    Java 27 LGPL-3.0 16 22 1 Updated Aug 21, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.