Sylvain Hallé's repositories
PaperShell
Nice and flexible template environment for papers written in LaTeX
Bullwinkle
An on-the-fly parser for BNF grammars
nserc-latex-template
A LaTeX template for NSERC Discovery Grant applications
FantasticWindmill
A static web site generator for PHP programmers
nserc-alliance-latex-template
LaTeX class for NSERC's Alliance Proposal Template
BufferTannen
Protocol for one-way communication channels
uqac-these
Classe LaTeX pour les mémoires et les thèses de l'Université du Québec à Chicoutimi
virus-contagion
BeepBeep virus contagion simulator replicating an article from the Washington Post about COVID-19
gitbook-pandoc
Converts Gitbook directory to LaTeX using Pandoc
slidecrunch
Create slideshows, handouts and subtitles from your SVG and PDF files
boolean-coverage-toolkit
Generate test suites for Boolean formulas according to various coverage criteria
FormaliSE22-Artifact
Replication artifact for a submission to FormaliSE 2022
languagetool
Style and Grammar Checker for 25+ Languages
languagetool-bundle
Repository with scripts to build a self-contained fat JAR for LanguageTool
stev-booleans
Simple manipulation of Boolean formulas
uqac-these-reboot
Template LaTeX pour la rédaction de documents à l'Université du Québec à Chicoutimi (UQAC)