Laboratoire d'informatique formelle (@liflab)
Guthub

liflab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    57
  • Global Org. Rank 75,100 (Top 24 %)
  • Registered about 9 years ago
  • Most used languages
    Java
         89.5 %
    Gnuplot     5.3 %
    JavaScript
         5.3 %
  • Location 🇨🇦 Canada
  • Country Total Rank 7,879
  • Country Ranking
    Gnuplot     11
    Java
         385

Top repositories

1

beepbeep-3

An event stream processor anyone can use
Java
25
star
2

synthia

A configurable synthesizer of complex data structures
Java
7
star
3

beepbeep-3-palettes

A bundle of user-contributed extensions to BeepBeep 3
Java
6
star
4

cornipickle

Versatile web application testing tool
Java
4
star
5

sealtest

A library for generating test sequences according to various algorithms
Java
3
star
6

petitpoucet

Trace data points back to their source
Java
2
star
7

brpc2020

Dépôt Git du projet BRPC 2020
Java
2
star
8

labpal

Easily run experiments on a computer
Java
2
star
9

beepbeep-bitmaps

Bitmap manipulation for LTL formulas in BeepBeep
Java
1
star
10

crawljax-cornipickle-plugin

A plugin for Crawljax using Cornipickle testing tool.
Java
1
star
11

propositional-machines

Java
1
star
12

bb-palette-blockchain

A BeepBeep palette for Blockchain
Java
1
star
13

combinatorial-graph-generator

Java
1
star
14

beepbeep-3-examples

A large repository of code examples using BeepBeep and various palettes
Java
1
star
15

PatTheMiner

Real-time data mining palette for the BeepBeep event stream processor
Java
1
star
16

artichoke-x

A library for managing peer-action sequences within document metadata
Java
1
star
17

beepbeep-3-book

User guide for the BeepBeep 3 event stream processing engine
Gnuplot
1
star
18

xml-lif

Simple XML parsing and XPath library in Java
Java
1
star
19

missioninfo

Série d'activités ludiques en français visant l'apprentissage de la programmation pour les jeunes
JavaScript
1
star