sylvainhalle

Canada Research Chair in Software Specification, Testing and Verification at Université du Québec à Chicoutimi, Canada, and head of @liflab.

Université du Québec à ChicoutimiChicoutimi, QC, Canada

Pinned Repositories

BufferTannen
Protocol for one-way communication channels
Language:Java6 10 00
Bullwinkle
An on-the-fly parser for BNF grammars
Language:Java51 8 1516
CCCVTK
The Canadian Common CV Toolkit
Language:PHP9 7 23
FantasticWindmill
A static web site generator for PHP programmers
Language:PHP15 5 87
gitbook-latex
Compile a GitBook project into a LaTeX document
Language:TeX25 2 05
MrSim
A simple MapReduce framework in Java
Language:Java14 5 113
nserc-alliance-latex-template
LaTeX class for NSERC's Alliance Proposal Template
Language:TeX9 4 03
nserc-latex-template
A LaTeX template for NSERC Discovery Grant applications
Language:TeX26 3 127
PaperShell
Nice and flexible template environment for papers written in LaTeX
Language:TeX138 4 1917
textidote
Spelling, grammar and style checking on LaTeX documents
Language:Java943 7 20469

sylvainhalle's Repositories

sylvainhalle/textidote
Spelling, grammar and style checking on LaTeX documents
Language:Java943 7 20469
sylvainhalle/PaperShell
Nice and flexible template environment for papers written in LaTeX
Language:TeX138 4 1917
sylvainhalle/Bullwinkle
An on-the-fly parser for BNF grammars
Language:Java51 8 1516
sylvainhalle/nserc-latex-template
A LaTeX template for NSERC Discovery Grant applications
Language:TeX26 3 127
sylvainhalle/FantasticWindmill
A static web site generator for PHP programmers
Language:PHP15 5 87
sylvainhalle/MrSim
A simple MapReduce framework in Java
Language:Java14 5 113
sylvainhalle/nserc-alliance-latex-template
LaTeX class for NSERC's Alliance Proposal Template
Language:TeX9 4 03
sylvainhalle/BufferTannen
Protocol for one-way communication channels
Language:Java6 10 00
sylvainhalle/uqac-these
Classe LaTeX pour les mémoires et les thèses de l'Université du Québec à Chicoutimi
Language:TeX6 2 44
sylvainhalle/Azrael
A universal Java serialization library
Language:Java5 2 110
sylvainhalle/AntRun
A general-purpose Ant build script
Language:Java1 2 71
sylvainhalle/gitbook-pandoc
Converts Gitbook directory to LaTeX using Pandoc
Language:Java1 2 01
sylvainhalle/Jerrydog
Web application server in Java
Language:Java1 2 12
sylvainhalle/rmconvert
Converts reMarkable documents into annotated PDFs, with options to adjust the output
Language:Shell1 2 0
sylvainhalle/slidecrunch
Create slideshows, handouts and subtitles from your SVG and PDF files
Language:PHP1 2 7
sylvainhalle/stev-checkstyle
Language:Java1 2 0
sylvainhalle/AntDeploy
Scripts to publish a Java package to the Central Repository
Language:Shell2 0
sylvainhalle/beepbeep-sensor-events
Processing sensor events with BeepBeep
Language:Java
sylvainhalle/boolean-coverage-toolkit
Generate test suites for Boolean formulas according to various coverage criteria
Language:Java2 0
sylvainhalle/casa
Covering Arrays by Simulated Annealing
Language:C++2 0
sylvainhalle/FormaliSE22-Artifact
Replication artifact for a submission to FormaliSE 2022
2 0
sylvainhalle/ICST22
Replication package for a paper submitted to ICST 2022
1 0
sylvainhalle/inkscapeslidex
Language:Java1 5
sylvainhalle/languagetool
Style and Grammar Checker for 25+ Languages
Language:Java2 11
sylvainhalle/languagetool-bundle
Repository with scripts to build a self-contained fat JAR for LanguageTool
2 1
sylvainhalle/MCDC
Create minimum MCDC test sets for a boolean expression
Language:C++1 0
sylvainhalle/pagegen
DOM page generator
Language:Java2 0
sylvainhalle/ptlogger2
A time tracking application using BeepBeep
Language:Java2 6
sylvainhalle/stev-booleans
Simple manipulation of Boolean formulas
Language:Java2 0
sylvainhalle/uqac-these-reboot
Template LaTeX pour la rédaction de documents à l'Université du Québec à Chicoutimi (UQAC)
Language:TeX1 11