Sylvain Hallé (sylvainhalle)

sylvainhalle

Geek Repo

Company:Université du Québec à Chicoutimi

Location:Chicoutimi, QC, Canada

Home Page:https://leduotang.ca/sylvain

Github PK Tool:Github PK Tool


Organizations
WebMole

Sylvain Hallé's repositories

textidote

Spelling, grammar and style checking on LaTeX documents

Language:JavaLicense:GPL-3.0Stargazers:912Issues:8Issues:201

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

Language:PHPLicense:GPL-3.0Stargazers:15Issues:5Issues:8

MrSim

A simple MapReduce framework in Java

nserc-alliance-latex-template

LaTeX class for NSERC's Alliance Proposal Template

Language:TeXStargazers:9Issues:4Issues:0

BufferTannen

Protocol for one-way communication channels

Language:JavaLicense:LGPL-3.0Stargazers:6Issues:10Issues:0

Azrael

A universal Java serialization library

Language:JavaLicense:LGPL-3.0Stargazers:5Issues:2Issues:11

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

Language:JavaStargazers:2Issues:2Issues:0

AntRun

A general-purpose Ant build script

Language:JavaLicense:GPL-3.0Stargazers:1Issues:2Issues:7

gitbook-pandoc

Converts Gitbook directory to LaTeX using Pandoc

Language:JavaLicense:GPL-3.0Stargazers:1Issues:2Issues:0

Jerrydog

Web application server in Java

Language:JavaLicense:LGPL-3.0Stargazers:1Issues:2Issues:1

rmconvert

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

Language:ShellLicense:GPL-3.0Stargazers:1Issues:2Issues:0

slidecrunch

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

Language:PHPLicense:GPL-3.0Stargazers:1Issues:2Issues:7

AntDeploy

Scripts to publish a Java package to the Central Repository

Language:ShellStargazers:0Issues:2Issues:0

boolean-coverage-toolkit

Generate test suites for Boolean formulas according to various coverage criteria

Language:JavaStargazers:0Issues:2Issues:0

casa

Covering Arrays by Simulated Annealing

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

FormaliSE22-Artifact

Replication artifact for a submission to FormaliSE 2022

Stargazers:0Issues:2Issues:0

ICST22

Replication package for a paper submitted to ICST 2022

Stargazers:0Issues:1Issues:0
Language:JavaStargazers:0Issues:1Issues:5

languagetool

Style and Grammar Checker for 25+ Languages

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:2Issues:1

languagetool-bundle

Repository with scripts to build a self-contained fat JAR for LanguageTool

License:MITStargazers:0Issues:2Issues:1

MCDC

Create minimum MCDC test sets for a boolean expression

Language:C++License:BSD-3-ClauseStargazers:0Issues:1Issues:0

pagegen

DOM page generator

Language:JavaStargazers:0Issues:2Issues:0

ptlogger2

A time tracking application using BeepBeep

Language:JavaLicense:GPL-3.0Stargazers:0Issues:2Issues:6

stev-booleans

Simple manipulation of Boolean formulas

Language:JavaStargazers:0Issues:2Issues:0

uqac-these-reboot

Template LaTeX pour la rédaction de documents à l'Université du Québec à Chicoutimi (UQAC)

Language:TeXLicense:MITStargazers:0Issues:1Issues:11