Sylvain Hallé

textidote. Spelling, grammar and style checking on LaTeX documents

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

gitbook-latex. Compile a GitBook project into a LaTeX document

FantasticWindmill. A static web site generator for PHP programmers

MrSim. A simple MapReduce framework in Java

nserc-alliance-latex-template. LaTeX class for NSERC's Alliance Proposal Template

CCCVTK. The Canadian Common CV Toolkit

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

Azrael. A universal Java serialization library

BeepKitu. BeepBeep adaptation of the Lakitu platformer

reviewer-tropes. A humorous repository of common sophisms, fallacies and dodgy arguments used by reviewers of Computer Science research papers

TurtleDB. A mini distributed database engine in Java

ghdlcount. Count release downloads on GitHub and generate badges

latex-labpal-user-manual. Makefile

bibtex2html. Convert BibTeX files into HTML documents through LaTeX

virus-contagion. BeepBeep virus contagion simulator replicating an article from the Washington Post about COVID-19

QICT. A pairwise test case generator

TraceAdapter. Automated translation of event traces and temporal properties

slidecrunch. Create slideshows, handouts and subtitles from your SVG and PDF files

ccv-tweak. Improvements to the interface of the Canadian Common CV

AntRun. A general-purpose Ant build script

maxio. Companion daemon for the reMarkable™ paper tablet

exos-oct18. Exercices des séances du 12 octobre et 22 novembre 2018

labpal-project. An empty project using the LabPal framework

stev-checkstyle. Java

rmconvert. Converts reMarkable documents into annotated PDFs, with options to adjust the output

gitbook-pandoc. Converts Gitbook directory to LaTeX using Pandoc