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 29 17

  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
  • beepbeep-3-groovy-bridge Public
    liflab/beepbeep-3-groovy-bridge’s past year of commit activity
    Java 0 0 1 0 Updated Mar 24, 2026
  • beepbeep-3 Public

    An event stream processor anyone can use

    liflab/beepbeep-3’s past year of commit activity
    Java 29 LGPL-3.0 17 21 1 Updated Mar 24, 2026
  • 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 Mar 24, 2026
  • petitpoucet Public

    Trace data points back to their source

    liflab/petitpoucet’s past year of commit activity
    Java 3 3 7 0 Updated Mar 24, 2026
  • beepbeep-3-jnetpcap-palette Public

    BeepBeep 3 extension to handle PCAP capture files

    liflab/beepbeep-3-jnetpcap-palette’s past year of commit activity
    Java 0 0 2 0 Updated Mar 13, 2026
  • lif-fs Public

    Abstract file system manipulations

    liflab/lif-fs’s past year of commit activity
    Java 2 GPL-3.0 0 7 0 Updated Feb 4, 2026
  • beepbeep-3-animated-examples Public

    Animated examples of BeepBeep 3 processor chains

    liflab/beepbeep-3-animated-examples’s past year of commit activity
    HTML 0 0 0 0 Updated Feb 4, 2026
  • 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
  • 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
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…