Name: Sylvain Hallé
Type: User
Company: Université du Québec à Chicoutimi
Bio: Canada Research Chair in Software Specification, Testing and Verification at Université du Québec à Chicoutimi, Canada, and head of @liflab.
Location: Chicoutimi, QC, Canada
Blog: https://leduotang.ca/sylvain
Sylvain Hallé's Projects
Scripts to publish a Java package to the Central Repository
A general-purpose Ant build script
awesome open list of pointers about open science for software and computational science
A universal Java serialization library
Source code for the BeepBeep 3 website
Web browser front-end for the BeepBeep runtime monitor
C# port of the BeepBeep runtime monitor
BeepBeep adaptation of the Lakitu platformer
Convert BibTeX files into HTML documents through LaTeX
Generate test suites for Boolean formulas according to various coverage criteria
Protocol for one-way communication channels
An on-the-fly parser for BNF grammars
Covering Arrays by Simulated Annealing
The Canadian Common CV Toolkit
Improvements to the interface of the Canadian Common CV
Chronicle Recognition Library (CRL): recognition of searched-for behaviours in large event flows
Exercices des séances du 12 octobre et 22 novembre 2018
A static web site generator for PHP programmers
Firewall anomaly detectors
Replication artifact for a submission to FormaliSE 2022
Count release downloads on GitHub and generate badges
Compile a GitBook project into a LaTeX document
Converts Gitbook directory to LaTeX using Pandoc
Ou Géo Trouvetout
A Clojure library to find hitting sets and set covers
Replication package for a paper submitted to ICST 2022
Inkscape Slide creates .pdf slideshows based on Inkscape SVG layers
Web application server in Java